haskellandchill

10 ms·

61.
by haskellandchill 3y ago
As far as hiring goes there's no such thing as a generalist who can learn the specifics, there are people like that but the industry refuses to recognize this for the most part. The current practice is to prove yourself first by doing
62.
Putin critic Navalny receives new 19-year sentence(axios.com)
9 points by haskellandchill 3y ago|0 comments
63.
by haskellandchill 3y ago
Heh, just an example. But at the level of my interest it's not a few hours, I like to learn math so that "you could have invented galois theory", and I want to go up to Grobner basis at least.
64.
by haskellandchill 3y ago
> I was a bit upset, because I thought, “I can’t believe I could have enjoyed this when I was much younger!” Yea, wish I had known about Galois theory when I was younger got sucked into junk lit and computer games instead, now I have to
65.
by haskellandchill 3y ago
that site is biased (not saying cnn is reliable for reporting on climate data). are there any research papers or other sources to consider?
66.
by haskellandchill 3y ago
I've passed every PIP I've ever been put on (2x). But in this case it's not even a real PIP.
67.
Implementation Strategies for Mutable Value Semantics [pdf](jot.fm)
1 points by haskellandchill 3y ago|0 comments
68.
by haskellandchill 3y ago
gottem
69.
by haskellandchill 3y ago
Does anyone know how to find the paper cited in the section on Logic Machines? McCallum D. B. and Smith J. B.. Mechanized reasoning—logical computers and their design. I can only find a review of it. This is an area of interest for me as I
70.
Media: Investigation reveals Russian soldiers acted 'on command' at Kakhovka dam(news.yahoo.com)
2 points by haskellandchill 3y ago|1 comments
71.
by haskellandchill 3y ago
Oh yea fish, did you also have above average mercury?
72.
by haskellandchill 3y ago
Are you giving someone bad blood in that case?
73.
by haskellandchill 3y ago
"A key result of this work as applied to existing hardware will be whether it is possible to assign less-than-complete trust to any of the black-box components in an SoC, or whether current HW design practices are incompatible with bui
74.
by haskellandchill 3y ago
CDuce is interesting, an XML oriented functional programming language. That's where they draw semantic subtyping from, worth checking out for language nerds: https://www.cduce.org/design_features.html
75.
by haskellandchill 3y ago
IV drugs, not for the feint of heart. Even with a good technique you will eventually blow up your spot and need to go fishing, then it gets horrific.
76.
by haskellandchill 3y ago
Someone said similar elsewhere, but the problem is the "meta code" that does the comparison needs to be hardened as well.
77.
by haskellandchill 3y ago
TypeScript is much less readable than Haskell and OCaml, but you can easily find translations to TypeScript such as https://github.com/skeate/lambdata .
78.
by haskellandchill 3y ago
And if not a beginner I would go straight to chapter 5 "Design of Algorithms by Induction". One of my favorite algorithms books.
79.
by haskellandchill 3y ago
Hey you seem like a cool person, I'll have an invite soon if you want me to send you one, my email is in my profile here :)
80.
by haskellandchill 3y ago
What about nootropics? What is the creatine of the mind enhancing drugs?
81.
by haskellandchill 3y ago
Someone made a great comment about the matrix approach to teaching the derivative and deleted it, maybe because it wasn't rigorous. Seems like "Differentiation Matrices" is the technical term: https://tobydriscoll.
82.
by haskellandchill 3y ago
Wish they covered co-induction. I've read the paper linked in the definition but still don't have a very strong intuition for it.
83.
by haskellandchill 3y ago
The problem with this reasoning is it could apply to any person who learns from culture as well. It isn't a problem however, it's only problematic inside the system of copyright, patents, equity, dividends, etc. If we viewed colle
84.
MIT 6.1420: Fine-Grained Algorithms and Complexity (Fall 2022)(people.csail.mit.edu)
4 points by haskellandchill 3y ago|0 comments
85.
by haskellandchill 3y ago
> The medical community is a joke I've been reading "The Medical Detectives" and it seems like there used to be a stronger drive to seek understanding of the unheard.
86.
by haskellandchill 3y ago
> Last September, he also launched a new educational company, All Us, from jail. “It is a network marketing company that has a $10 bimonthly fee. Of course, it has royalties. If you do what you have to do, in six or eight months, you can
87.
The rise and fall of Argentina’s celebrity crypto pastor(restofworld.org)
3 points by haskellandchill 3y ago|2 comments
88.
by haskellandchill 3y ago
I used to feel that way but I'm older now and I don't have the energy to fight it. Plus I enjoy studying algorithms so I'm making it work for me.
89.
by haskellandchill 3y ago
Is it really that bad? I've taken the time to go back to some great books I never got a chance to fully study, like Udi Manber's Introduction to Algorithms and Jeff Erickson's Algorithms and even found some new gems like Guid
90.
by haskellandchill 3y ago
> Despite that, there's almost no way I would pass a technical interview at Google. You could get lucky and have each question have a similar relationship to past knowledge. It's happened to me before, I blew through an Amazon

More ›