HN user

haskellandchill

1,081 karma

the thinking man's dead person

https://twitter.com/haskellandchill

sandy.vanderbleek@gmail.com

Posts95
Comments553
View on HN
deepmind.google 2mo ago

Enabling a new model for healthcare with AI co-clinician

haskellandchill
3pts0
www.thelancet.com 11mo ago

US cancer research might never recover from proposed Trump funding cuts

haskellandchill
13pts0
nypost.com 11mo ago

Meta dishes out $250M to lure 24-year-old AI whiz kid

haskellandchill
26pts2
ifspp.substack.com 1y ago

Data on How America Sold Out Its Computer Science Graduates

haskellandchill
77pts84
www.artima.com 1y ago

Modern Mathematics (Pre-Print) Cutting-edge math for today's coder

haskellandchill
50pts14
www.programmablemutter.com 2y ago

How the Feds bounced Binance

haskellandchill
83pts103
decrypt.co 2y ago

Solana Weighs Demand for Saga Phones After Sellout Amid Bonk Boom

haskellandchill
1pts0
fortune.com 2y ago

Vitalik is the public intellectual the tech world needs

haskellandchill
2pts5
planspace.org 2y ago

The Ten Equations That Rule the World, by Sumpter

haskellandchill
2pts0
github.com 2y ago

Can Tensor Programming Be Liberated from the Fortran Data Paradigm? (2021)

haskellandchill
2pts0
repmus.ircam.fr 2y ago

Declarative definition of group indexed data structures (2001) [pdf]

haskellandchill
1pts0
link.springer.com 2y ago

A Master Class on Recursion

haskellandchill
1pts0
easychair.org 2y ago

Functional Pearl: The Proof Search Monad

haskellandchill
4pts0
www.axios.com 2y ago

Putin critic Navalny receives new 19-year sentence

haskellandchill
9pts0
www.jot.fm 3y ago

Implementation Strategies for Mutable Value Semantics [pdf]

haskellandchill
1pts0
news.yahoo.com 3y ago

Media: Investigation reveals Russian soldiers acted 'on command' at Kakhovka dam

haskellandchill
2pts1
people.csail.mit.edu 3y ago

MIT 6.1420: Fine-Grained Algorithms and Complexity (Fall 2022)

haskellandchill
4pts0
restofworld.org 3y ago

The rise and fall of Argentina’s celebrity crypto pastor

haskellandchill
3pts2
medium.com 3y ago

Why Creativity Trumps IQ

haskellandchill
3pts0
medium.com 3y ago

Why Universality Trumps IQ

haskellandchill
1pts0
www.reuters.com 3y ago

U.S. charges Frank financial aid startup's founder with defrauding JPMorgan

haskellandchill
7pts0
medium.com 3y ago

Watchmen’s Fearful Symmetry: (almost) frame by frame

haskellandchill
2pts0
arxiv.org 3y ago

Distilling Text into Circuits [pdf]

haskellandchill
3pts0
number-theory.itscomputers.lol 3y ago

Number Theory for Programmers

haskellandchill
4pts0
nguyentito.eu 3y ago

Locus Solum: From the rules of logic to the logic of rules (2001) [pdf]

haskellandchill
1pts0
arxiv.org 3y ago

Theorem Proving and Algebra book (2006) [pdf]

haskellandchill
3pts0
arxiv.org 3y ago

Distilling Abstract Machines (2018) [pdf]

haskellandchill
3pts0
www.ens-lyon.fr 3y ago

On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf]

haskellandchill
11pts0
dl.acm.org 3y ago

Connection Graphs (1986) [pdf]

haskellandchill
2pts0
blockworks.co 3y ago

CoinFLEX Defends Controversial ‘GTX’ Venture with 3AC Founders

haskellandchill
1pts0

I thought it was a good write up but did anyone catch the ending comment?

We believe artificial general intelligence will be created within our lifetimes, and likely within the next decade.

Maybe within our lifetimes (if you are young) but I find it highly unlikely within the next decade.

proud owner of a financed 2024 manual nissan versa here :) but yeah the dealership made almost no money and I put down a deposit when it was a couple months from coming in at a location far from where I live. it's a $20k car though.

It's not just one unpaid intern with long term memory loss, it's several of them. And they don't need breaks.

If you could hire an army of unpaid interns with long term memory loss who work 24/7, would you?

From your link

Many studies have shown the incidence of repair procedures and worse final vision outcomes were higher in groups with autoimmune conditions (SJS, OCP). The difference in outcomes appears to be related to the degree and cumulative past period of inflammation. Overall most favorable outcomes are achieved in non-cicatrizing conditions, followed by ocular burns and OCP with the worst outcomes in SJS patients.

The patient in the article was a SJS patient

The massage therapist says he could see just fine until he was 13 years old, when he took some ibuprofen after a school basketball game, triggering a rare auto-immune reaction known as Stevens-Johnson syndrome.

For those without means understanding is a luxury, for many with, it is merely aesthetic. Matching drive with opportunity could unlock humanistic discovery but it is far more likely to be done artificially given the way we organize our societies.

Active learning and problem selection is what I came to as well going through the literature. I was thinking of teaching algorithm design by having students build their own algorithm laboratory where they create visualizations and experiments that motivate interest in problems and the design of solutions.

Hm this seems potentially dangerous, doing MCAT practice I got:

  Which of the following is NOT a neurotransmitter in the central nervous system?

  serotonin
  glutamate
  acetylcholine
  dopamine

  Neurotransmitters in the central nervous system include serotonin, glutamate, and dopamine. Acetylcholine is a neurotransmitter in the peripheral nervous system.
However this is wrong. Acetylcholine is both a PNS and CNS neurotransmitter. The rest are also CNS neurotransmitters.

Here is an example of a real question that is similar but accurate: https://quizlet.com/explanations/questions/which-of-the-foll...

It’s really not unquantifiable. I read “How to Measure Anything in Cybersecurity Risk” and it was an eye opener. Using a table of risks and outcomes with associated probabilities and 90% confidence intervals of dollar impacts we can quantify categories of technical debt.

The problem is the muda should have expected values associated with them. Bugs and security vulnerabilities do cost money, these are 90% confidence intervals of dollar impact from How to Measure.

What about the Bayesian methods shown in "How to Measure Anything"? They have been applied to Cybersecurity ("How to Measure Anything in Cybersecurity Risk" in a very thorough and convincing manner. It looks like the business around it is trying to apply it to product management (https://hubbardresearch.com/shop/measure-anything-project-ma...). Basically the idea is when things are hard to measure we should not abandon quantitative scales and use qualitative ones (like t-shirt sizes) but instead use probabilities to quantify our uncertainty and leverage techniques like bayesian updates, confidence intervals, and monte carlo simulations.

It's not much better if you get responses. My problem was companies will schedule me for interviews so I do 100 applications have 60 phone screens, then 40 technical interviews, then 30 seconds stages/homeworks, 10 final rounds and maybe 4 calls with the VP/CTO and still nothing. It's a full time job for months with no payoff.

I'm kind of glad it's a dumpster fire right now. If I got a job like I had in the past I wouldn't have decided to go down a different path. I'm going back to school to complete premed requirements and apply to medical school next year. I'm working as a medical assistant and training for EMT. I'm much happier than I would be as a web developer. There are tech jobs that would have interested me but I'd still rather be a doctor anyway, not that that is guaranteed. I did some open source Rust and learned some AI but you really have to show devotion through unpaid work to secure those positions, or get lucky.

Now frame this in type theory, zippers? The derivative of a data type is its one holed contexts?

Or is it not amenable to that perspective all I can find is from a different viewpoint: “ The dynamic trees problem, first posed by Sleator and Tarjan is to maintain a forest of trees subject to the insertion and deletion of edges, also known as links and cuts. Dynamic trees are used as a building block in a multitude of applications, including maximum flows, dynamic connectivity and minimum spanning trees, and minimum cuts, making them a fruitful line of work with a rich history.”

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. However he is completely shallow and remains invisible outside the crypto bubble, showing no talent or strategy that would make things otherwise.

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 theory was leveraged properly I think they'd really be on to something. See the success of Rust for example.

I just did some cursory research and came across a paper on "ABS: A high-level modeling language for cloud-aware programming" which would give a much stronger foundation for such an effort than JavaScript.