setra

61 ms·

1. 271.▲
   Lisp Meta-Programming for C++ Developers(deque.blog)

   3 points by setra 9y ago|1 comments
2. 272.▲
   Podcast: Security Now

   2 points by setra 9y ago|0 comments
3. 273.▲
   by setra 9y ago

   I find that it is most similar to freeBSD jails. Type a command to spin up a container and its just like having a linux VM I can SSH into. With its own file system and everything.
4. 274.▲
   John Carmack on the Plan9 mailing list(marc.info)

   3 points by setra 9y ago|0 comments
5. 275.▲
   by setra 9y ago

   These are all environments designed for humans. Vending machines already get warm food, and fresh coffee to me. The system once automated will not look just like the current human paradigm.
6. 276.▲
   Language-agnostic schemas based on Haskell's type system(github.com)

   80 points by setra 9y ago|15 comments
7. 277.▲
   Breaking Through the Normalization Barrier: A Self-Interpreter for Fω (2016) [pdf](web.cs.ucla.edu)

   54 points by setra 9y ago|9 comments
8. 278.▲
   Compiling to categories [pdf](conal.net)

   4 points by setra 9y ago|0 comments
9. 279.▲
   Microkernel government(unenumerated.blogspot.com)

   1 points by setra 9y ago|0 comments
10. 280.▲
    Ted Nelson: I Think I Know Who Satoshi Is [video](youtube.com)

    2 points by setra 9y ago|0 comments
11. 281.▲
    Awesome-Ada: resources and links related to the Ada programming language(github.com)

    3 points by setra 9y ago|0 comments
12. 282.▲
    by setra 9y ago

    Haskell is generally more popular, and has more active feature development. I imagine Haskell is probably the better choice in the general case. There are a few differences such as Haskell being Lazy and OCaml being strict. The general way
13. 283.▲
    NianioLang: Procedural programming language without pointers(nianiolang.org)

    3 points by setra 9y ago|0 comments
14. 284.▲
    by setra 9y ago

    This is really not like the Idris type system at all. Its not even really like the Haskell type system. This is basically doing the same thing as the Haskell quickcheck library but running it at compile time. AKA just testing a function wit
15. 285.▲
    A series of posts appearing on the Opinion board at CMU in 1987(ccs.neu.edu)

    1 points by setra 9y ago|0 comments
16. 286.▲
    C++ Delegate Libraries Performance Benchmark(mcshaffry.com)

    1 points by setra 9y ago|0 comments
17. 287.▲
    Browserling: Live interactive cross-browser testing(browserling.com)

    1 points by setra 9y ago|0 comments
18. 288.▲
    Pony programming language(ponylang.org)

    3 points by setra 9y ago|0 comments
19. 289.▲
    Zeo sleep self-experiments(gwern.net)

    2 points by setra 9y ago|0 comments
20. 290.▲
    Will Mark Zuckerberg run for president?(theatlantic.com)

    1 points by setra 9y ago|0 comments
21. 291.▲
    The secret of the tera-keyboard(scifiinterfaces.wordpress.com)

    2 points by setra 10y ago|0 comments
22. 292.▲
    Massive Ordnance Air Blast(en.wikipedia.org)

    1 points by setra 10y ago|0 comments
23. 293.▲
    Write a C program that won’t compile in C++(geeksforgeeks.org)

    3 points by setra 10y ago|0 comments
24. 294.▲
    Faking Dependent Types in C++(pwparchive.wordpress.com)

    2 points by setra 10y ago|1 comments
25. 295.▲
    Python formatted Java(twitter.com)

    1 points by setra 10y ago|0 comments
26. 296.▲
    Ill-Advised C++ Rant, Part 1(codersnotes.com)

    2 points by setra 10y ago|0 comments
27. 297.▲
    “Real” Analysis is a degenerate case of of discrete analysis [pdf](math.rutgers.edu)

    1 points by setra 10y ago|0 comments
28. 298.▲
    That Which Is Seen, and That Which Is Not Seen (1850)(bastiat.org)

    3 points by setra 10y ago|0 comments
29. 299.▲
    List of harmful software(harmful.cat-v.org)

    1 points by setra 10y ago|1 comments
30. 300.▲
    Cat-V.org: Random Contrarian Insurgent Organization(cat-v.org)

    1 points by setra 10y ago|0 comments