Skip to content

Instantly share code, notes, and snippets.

@Daroth
Daroth / modularexp_IDEAS.md
Created June 29, 2017 08:26
modularexp with mult extension Raw

IDEAS

  • Test modular integration of variables + ctx
  • Removing boilerplate acceptors and visitors
  • More abstract datatypes ~> Monoid[_] == Sum
  • Adding mutable of mutable like operations
@Daroth
Daroth / modularexp_IDEAS.md
Created June 29, 2017 08:24
modularexp with mult extension

IDEAS

  • Test modular integration of variables + ctx
  • Removing boilerplate acceptors and visitors
  • More abstract datatypes ~> Monoid[_] == Sum
  • Adding mutable of mutable like operations
@Daroth
Daroth / project1_build.sbt
Last active August 29, 2015 13:58
dumb project
name := "project1"
organization := "project1"
version := "1.0"
import java.net.URL
type BookmarkTag = Seq[String]
case class Bookmark (title:String, link: URL, tags: Seq[BookmarkTag], description: String = "")
/**
info] Compiling 1 Scala source to /media/part1/development/scala/typesafe/templates/bookmarks/core/target/scala-2.10/classes...
[error] /.../bookmarks/model/Bookmark.scala:5: expected class or object definition
[error] type BookmarkTag = Seq[String]
package sid.types.obs
/** Defines a trait that marks a class as allowing external
* viewers to be notified of changes.
*/
trait Observable {
// Defines a type returned when registering a callback.
type Handle <: {
def remove() : Unit
}
@Daroth
Daroth / ember-bookmark.js
Created October 12, 2013 10:22
Summary of my bookmark ember app
window.Bookmarks = Ember.Application.create();
// ... routes ....
// models :
Bookmarks.Tag = DS.Model.extend({
name : DS.attr('string')
});
Bookmarks.Bookmark = DS.Model.extend({
@Daroth
Daroth / cat nmap script
Created August 28, 2012 10:45
nmap whois script test
➜ scripts nmap -sC whois www.google.com
Starting Nmap 5.21 ( http://nmap.org ) at 2012-08-28 12:44 CEST
Failed to resolve given hostname/IP: whois. Note that you can't use '/mask' AND '1-4,7,100-' style IP ranges
Nmap scan report for www.google.com (173.194.67.106)
Host is up (0.037s latency).
Hostname www.google.com resolves to 12 IPs. Only scanned 173.194.67.106
rDNS record for 173.194.67.106: wi-in-f106.1e100.net
Not shown: 998 filtered ports
PORT STATE SERVICE
import java.awt.event.WindowAdapter;
import java.awt.event.WindowEvent;
import javax.swing.JFrame;
public class MonApplication {
public static void main(String[] args) {
MaFenetre f = new MaFenetre();
f.afficher();