haskellandchill

8 ms·

31.
by haskellandchill 3y ago
mmm not really, he's fucked due to weapons grade autism.
32.
by haskellandchill 3y ago
Also stumbled across an old column with that name looking at another front page topic https://news.ycombinator.com/item?id=38666287 which links to > a new occasional column “No Stinking Loops” by the legendary Stevan Apt
33.
How the Feds bounced Binance(programmablemutter.com)
83 points by haskellandchill 3y ago|103 comments
34.
Solana Weighs Demand for Saga Phones After Sellout Amid Bonk Boom(decrypt.co)
1 points by haskellandchill 3y ago|0 comments
35.
by haskellandchill 3y ago
I'm down.
36.
by haskellandchill 3y ago
The PR campaign is for crypto to have a public intellectual and thus appear more credible. He is currently their most suitable candidate, and he does make efforts to be seen as such, writing about broader topics than crypto currencies. Howe
37.
Vitalik is the public intellectual the tech world needs(fortune.com)
2 points by haskellandchill 3y ago|5 comments
38.
by haskellandchill 3y ago
Natural Language Generation
39.
by haskellandchill 3y ago
> infrastructure and runtime code in one language This is fertile ground for new languages, apparently they call this the "Construct Programming Model" but there appears to be no meat to the theory. If programming language theo
40.
by haskellandchill 3y ago
Please stop spamming in this thread, you are getting in the way of the job postings. There is a different thread for who wants to be hired.
41.
by haskellandchill 3y ago
I don't follow how the proof text is generated from lean? Or is it not, they are doing the verification in lean and the proof text is completely separate. Looking at the project more I see it's the latter. Turning lean tactics int
42.
by haskellandchill 3y ago
Not true. While it's harder, you can stack shift. I've done Ruby/Rails, Python/Django, and JavaScript/React and treated them as interchangeable. I might be rejected in some resume screens here and there but once tal
43.
by haskellandchill 3y ago
tough pickings in december
44.
by haskellandchill 3y ago
I've been compiling lists from interview experiences and there aren't many repeated problems. I don't think this advice scales. However, I haven't seen any material that will teach you how to come up with the trick to cr
45.
by haskellandchill 3y ago
I delivered pizzas and worked as a cook to stretch a gap before. You can keep applying while at the warehouse. Market is rough right now, I quit a well paying remote job where I was on a good career track and I'm kicking myself right n
46.
The Ten Equations That Rule the World, by Sumpter(planspace.org)
2 points by haskellandchill 3y ago|0 comments
47.
by haskellandchill 3y ago
Don't sell yourself short, you should just apply. Your background is a good fit for many roles so don't let experience requirements throw you off, like all job requirements they are flexible.
48.
Can Tensor Programming Be Liberated from the Fortran Data Paradigm? (2021)(github.com)
2 points by haskellandchill 3y ago|0 comments
49.
by haskellandchill 3y ago
well taking what percent of the control group have held or sought political office and then making a comparison has potential
50.
by haskellandchill 3y ago
> But then I hear the tap-tap-tapping from his fingers start to accelerate, and I realize he’s not slowing down under the load at all. Just the opposite, in fact: This guy is in the Storybook Brawl equivalent of a gank! wow, allow me to
51.
by haskellandchill 3y ago
he deserves jail just for that quote
52.
Declarative definition of group indexed data structures (2001) [pdf](repmus.ircam.fr)
1 points by haskellandchill 3y ago|0 comments
53.
A Master Class on Recursion(link.springer.com)
1 points by haskellandchill 3y ago|0 comments
54.
by haskellandchill 3y ago
things to predict would be "the maximum entanglement speed ζ" and "dimensionality of space won’t always be precisely 3" but he seems to be making no real effort there, I've seen other non-wolfram research on a lower
55.
by haskellandchill 3y ago
Why are none of these things wikipedia articles? Or getting any traction in google scholar? I actually am not against what Wolfram is saying and it's interesting to see the link between general relativity and quantum mechanics in this
56.
by haskellandchill 3y ago
Nice I was going to mention Spivak but you beat me to it. I stumbled on it in a library 20 years ago and was hooked. I bought the Differential Geometry books with the pretty covers and lost my book collection before I could do much with the
57.
by haskellandchill 3y ago
It can be done scientifically, there are many techniques in the literature that put the engineering into Prompt Engineering.
58.
Functional Pearl: The Proof Search Monad(easychair.org)
4 points by haskellandchill 3y ago|0 comments
59.
by haskellandchill 3y ago
how is "Engineering" "about chanting magic words"? The wires may be getting crossed on if it's an engineering discipline or just the use of the word engineer, meaning to build mindfully, I feel the latter is appropr
60.
by haskellandchill 3y ago
from https://en.wikipedia.org/wiki/Trusted_system : The word "trust" is critical, as it does not carry the meaning that might be expected in everyday usage. A trusted system is one that the user feels safe to

More ›