8001
Twitter
The latest release of generics-sop also gives us a new library sop-core - which acts as a nice core for some functo…
from twitter_favs
16 hours ago
(429) https://twitter.com/i/web/status/1054434227180134402
So, RMS’s new “GNU Kind Communications Guidelines” document.
Everyone on HN likes it, and I expect CoC advocates ha…
from twitter_favs
yesterday
Hardware Interrupts | Writing an OS in Rust
Almost forgot to tweet this, but I published a new "Writing an OS in Rust" post about hardware interrupts today :)
from twitter_favs
yesterday
Twitter
while (facebook_has_money) {
Hire smart security people
Dismiss their advice because misaligned with Sheryl…
from twitter_favs
yesterday
Twitter
Today's Interview is with Philip Wadler (aka LambdaMan). Topics covered include Alonzo Church and Alan Turning, wha…
from twitter_favs
yesterday
Untitled (https://arxiv.org/pdf/1810.08380.pdf)
Mario Caneiro: Formalizing computability theory via partial
recursive functions
from twitter_favs
yesterday
Twitter
How I loathe the word “innovation”. If there was ever a word embraced with the pompous performance to sound knowing…
from twitter_favs
2 days ago
Twitter
RT : Martin Kuppe’s map of the mathematical landscape is one of my favorite math-y illustrations. Now I’m loving it even…
from twitter_favs
2 days ago
Twitter
Profiterole makes your GHC profile output about 10x shorter and easier to read. Just run it over the normal .prof o…
from twitter_favs
2 days ago
Twitter
"but " you ask, "how can a function

subtract :: Double -> Double -> Double

fit this shape

fmap…
from twitter_favs
2 days ago
Untitled (https://arxiv.org/pdf/1807.09887.pdf)
Dashti et al.: Compiling Database Application Programs
from twitter_favs
2 days ago
Twitter
Not to be a gigantic nerd but today I went to an art gallery and saw the cover of CLRS in real life
from twitter_favs
2 days ago
First-Class Automatic Differentiation in Swift: A Manifesto · GitHub
RT : I wrote a manifesto for first-class Automatic Differentiation in Swift.
from twitter_favs
3 days ago
Babies Learning Language: Where does logical language come from? The social bootstrapping hypothesis
Babies Learning Language: Where does logical language come from? The social bootstrapping hypothesis (by )
from twitter_favs
3 days ago
Twitter
Second day of the Workshop on Dependable and Secure Software Systems at . Looking forward to another round o…
from twitter
3 days ago
ghc-proposals/0013-unlifted-newtypes.rst at master · ghc-proposals/ghc-proposals · GitHub
Oh, GHC is getting unlifted newtypes:

eg.

newtype Interval = Interval (# Int#, Int# #)
from twitter
4 days ago
Twitter
x86 microcode analysis framework and example programs presented in our paper are now available at…
ccs18  from twitter_favs
4 days ago
Twitter
Are you a software developer with an affinity for FP? Would you like to learn Akka, Scala and TLA+? How about contr…
from twitter_favs
4 days ago
Twitter
Hi-rez fractal art is something else 😍
from twitter_favs
5 days ago
Twitter
Introducing the MLCC Fairness in module (), which looks at different types…
MachineLearning  from twitter_favs
5 days ago
Twitter
I forced a bot to watch over 1,000 hours of TED Talks and then asked it to write a TED Talk of its own. Here is the…
from twitter_favs
5 days ago
Twitter
Cirkus: Task management for real teams
from twitter_favs
5 days ago
Twitter
Why isn't there a startup that takes my {list of characteristics/interests/loves} and runs a bunch of linear regres…
from twitter_favs
5 days ago
Twitter
Ce matin je lance Artifices Intelligents, un blog destiné à traiter d'intelligence artificielle, de son im…
from twitter_favs
5 days ago
Twitter
Can't you counts how many are typesafe?
from twitter_favs
6 days ago
Twitter
"Amazon has hired more than 150 Ph.D. economists in the past five years, making them the largest employer of tech e…
from twitter_favs
6 days ago
Twitter
“[…] the bad design of protobuffers is so persuasive that these problems manage to leak their way into your code as…
from twitter
6 days ago
Twitter
“give your daughters difficult names. give your daughters names that command the full use of tongue. my name makes…
from twitter_favs
7 days ago
Twitter
We need a clippy plugin that generates these
from twitter_favs
7 days ago
Twitter
Where, when and how much do young Swiss people drink? A new study based on smartphone data collection provides answ…
from twitter_favs
7 days ago
Twitter
Last week's U.N. climate report gave a terrifyingly clear picture of a world on the brink of locking in catastrophe…
from twitter_favs
8 days ago
Twitter
Bitcoin accelerating our dive off the cliff is just the most universally destructive self own and it becoming mains…
from twitter_favs
8 days ago
Twitter
If coding doesn't feel like being totally lost and having no clue what you're doing, followed by hours of trying di…
from twitter_favs
8 days ago
Grin-HaskellX2018 - Google Slides
We presented the core ideas of GRIN at 2018.
slides:
video:…
haskellx  from twitter_favs
10 days ago
Twitter
We presented the core ideas of GRIN at 2018.
slides:
video:…
haskellx  from twitter_favs
10 days ago
Twitter
Realizing the numeric's tower sucks ass for the 4th or 5th time in my life , and making myself calm by looking up f…
from twitter_favs
10 days ago
Twitter
Hi Jack. Thanks for the feedback. Which homeless programs in our city are you supp…
from twitter_favs
11 days ago
Emulating the elegance of JavaScript's `new Array` in Haskell · GitHub
Someone finally ported JavaScript’s ‘new Array’ semantics to Haskell
from twitter
11 days ago
Twitter
32 linearly actuated legs make an omnidirectional robot - formally the shape is a "rhombic triacontahedron".…
from twitter_favs
12 days ago
Twitter
One of the most nakedly honest formulations I’ve seen of US FP ever. “Who gives a crap about human rights when 100…
from twitter_favs
12 days ago
Twitter
A new paper on eliminating -point timing channels with a DSL implementing code transforms t…
llvm  floating-point  haskell  from twitter_favs
12 days ago
Twitter
Best thing you’ll see all day.
from twitter
12 days ago
Twitter
Action shots from the defence of our most recent PhD graduate, Janwillem Swalens. His dissertation “A Multi-Paradi…
from twitter_favs
12 days ago
jon sterling (@jonsterling) on Twitter
tfw you're unleashing a really cool new proof assistant
from twitter_favs
13 days ago
Twitter
Formal verification of helicopter automatic landing control algorithm in theorem prover Coq. ~ X. Chen, G. Chen.…
from twitter_favs
13 days ago
Audiobooks | Downpour.com
If you're into audio books, has lower prices than Amazon's Audible or Apple's iTunes and th…
from twitter_favs
13 days ago
Twitter
If you're into audio books, has lower prices than Amazon's Audible or Apple's iTunes and th…
from twitter_favs
13 days ago
Twitter
Of course but still, with the price we pay, they could at least get a server to reliably serve a JSON f…
from twitter
14 days ago
Twitter
The real shame is once again that the hard problem (getting buses to arrive on time) is here solved reliably, while…
from twitter
14 days ago
Twitter
It might not be easy to accurately report arrival times in real-time, but the least you could do is harden your web…
from twitter
14 days ago
Twitter
Hey , I think it’s time you hire some real iOS developers, your app has been reporting incorrect timetables…
from twitter
14 days ago
Twitter
Why is Blink more secure?

Next to simply allowing other rendering engines, Apple would also have to gr…
from twitter_favs
14 days ago
Dieter Rams scolds Apple in new Gary Hustwit movie
*Dieter Rams is tired of the way that Silicon Valley carries on. Apparently his faith in them hasn't been restored
from twitter_favs
15 days ago
Twitter
Reaction:
1. Oh god why
2. I thought it was only JavaScript engines that did things like th…
from twitter_favs
15 days ago
Untitled (https://nadav.amit.zone/blog/linux-inline)
Reaction:
1. Oh god why
2. I thought it was only JavaScript engines that did things like th…
from twitter_favs
15 days ago
Twitter
Library for writing typed, functional event sourced services in based on cats and shapeless. Uses for…
akka  Scala  from twitter_favs
15 days ago
Twitter
RT : Swiss research couldn’t thrive without international networks. Therefore Switzerland must be seen as a reliable con…
from twitter
16 days ago
Twitter
has just open sourced a few libraries. The DataFixerUpper is something special; really didn’t…
Microsoft  Minecraft  from twitter_favs
16 days ago
(429) https://twitter.com/i/web/status/1048705487213142016
Richard Eisenberg seems to agree

"Here is the definition for the Fin type. This one's I think rather hard to und…
from twitter_favs
17 days ago
Twitter
Hello, Scala, my old friend
I've come to deal with you again
Because a service that has been condemned
Requires run…
from twitter_favs
17 days ago
« earlier      
3d akka algorithms animation api app architecture art assembly async authentication backbone backup bitcoin book books browser business c canvas career categorytheory cats chat chess chrome clojure clojurescript cloud cms cocoa code coffeescript compiler computation computer-science concurrency coq coroutines course crdt cryptography cs css css3 culture data database datastructures debug debugging dependent-types deployment design development devops distributed-systems dns docker documentation dom dotty dropbox ebook ecc economics economy editor education effects elmlang email entrepreneurship erlang ferguson font formal-verification fp fp101x framework free-monads functional functionalprogramming future gamedev games garbage-collector generator ghc git github go golang hacking happiness hardware hash hashing haskell heartbleed history hosting html html5 http humor icons idris innovation interview ios iphone java javascript job jquery json jvm language language-design latex learning lifehacks linux lisp llvm logic lua mac macos markdown math mathematics mobile monads mooc music mvc mysql neovim network networking nginx node.js nodejs nosql nsa objective-c om online open-source opensource os osx p2p papers parser parsing peg performance philosophy php physics plt plugin politics postgres presentation privacy productivity profiling programming promises psychology purescript python rails react reactive reactjs reactnative reader recursion recursion-schemes reddit redis redux reference research responsive rest ruby rust rustlang rx rxjs sass scala scaladays scalajs scalaz scaling scheme school science search security server sexism shapeless shell smt software space sql ssl startup startups static statistics strangeloop swift switzerland talk talks tech technology ted templating test testing tex tls tool tools tor transducers tutorial type type-theory types typo3 typography ui ux vector video virtualization visualization vm web webgl webrtc writing

Copy this bookmark:



description:


tags: