HN user

rscho

3,550 karma
Posts21
Comments1,421
View on HN
rhombus-lang.org 28d ago

Rhombus Language Performance

rscho
2pts0
blog.cloudflare.com 1y ago

Preventing conflicts in authoritative DNS config using formal verification

rscho
64pts3
blog.cloudflare.com 1y ago

Preventing conflicts in authoritative DNS config using formal verification

rscho
3pts0
lambdaland.org 1y ago

How to Make Racket Go Almost as Fast as C

rscho
2pts0
github.com 3y ago

Rhombus-in-the-Rough

rscho
3pts1
www.youtube.com 3y ago

Playing the Game with PLT Redex

rscho
1pts1
chicoary.wordpress.com 4y ago

How does find by example work in the Pharo Finder

rscho
108pts51
www.arraycast.com 4y ago

ArrayCast Episode 19:Aaron Hsu

rscho
2pts0
news.ycombinator.com 4y ago

Ask HN: Under pressure from industry, how can academics protect themselves?

rscho
6pts19
www.youtube.com 5y ago

ATS: Why Linear Types Are the Future of Systems Programming

rscho
2pts1
www.youtube.com 5y ago

MediKanren: A System for Bio-Medical Reasoning

rscho
2pts1
olegykj.sourceforge.net 5y ago

J vs. K by Example

rscho
26pts13
cakeml.org 5y ago

CakeML: A Verified Implementation of ML

rscho
3pts0
github.com 5y ago

Cuis Smalltalk

rscho
5pts1
code.jsoftware.com 5y ago

J Language: Direct Definitions

rscho
3pts5
www.google.com 6y ago

Production Prolog

rscho
3pts0
defn.io 6y ago

Deploying Racket Web Apps

rscho
2pts0
news.ycombinator.com 7y ago

Ask HN: Uses of reflection/introspection for statistical programming?

rscho
1pts0
news.ycombinator.com 8y ago

Ask HN: Can an interpreted-only language be implemented in a JITted one?

rscho
4pts4
bigwww.epfl.ch 9y ago

Show HN: A software solution to ultrasound blood flow monitoring

rscho
85pts21
bigwww.epfl.ch 9y ago

Show HN: A pure software solution to ultrasound blood flow measurement

rscho
21pts0
Racket v9.2 2 months ago

Racket is not interpreted. It is compiled to machine code. You don't know what you're talking about.

Amusingly, this was a very common if not the most common stance on this very website some time ago. Surely, don't look for assistance on the internet regarding memory issues.

Of course deskilling will happen. But marketing says the machine is more often right than the operator is, and people also want it (we can replace docs with AI today, yadda yadda). Soooo... to be expected? It's just that the machine has to work correctly, which is not on the endoscopist, right?

How to hedge a bet 101:

1.you bet on risky stuff using something of value (money, health,...)

2.since you're unsure whether your bet will pay off, you bet some more on some other risky stuff, just to be sure.

BTW if you were wondering, of course all those proposed weird life-prolonging treatments are totally devoid of side-effects.

Yes, although even for modern medicine curative and preventative strategies are very distinct. Sure, they'll give you pills to compensate for a problem you already have. But there are few meds that protect you against stuff you'll maybe catch in the future. Vaccines and antibiotics are obvious examples, but I'm not aware of many others. The rest of preventative strategies overwhelmingly consists in correcting deficits or excesses (calories, vitamins, sleep, exercise etc.)

Surprisingly, many people seem to think that pushing a few random pills into a machine optimized over some million years of evolution will tune it so it works better. Go figure...

Truth be told, none of either prescription or OTC stuff has any solid research backing it. Some people, especially on HN are obsessed with living long and are always prompt to try the weirdest experimental stuff. Reasonable people should remember what the COVID period was on this website, and act accordingly...

silly unless your general stance is that you won't take any medication until that specific formulation has been on the market for decades

Yes, I'd argue that this is the default stance for many healthcare professionals.

Ozempic is very recent. Given the volume of prescription, the probability of problematic side-effect in the short-to-medium term indeed seems low. But it sill is too early to say whether ozempic really isn't problematic. Let's hope so.

Ibuprofen ? That's really not something I'd have expected to end up in someone's 'healthy stuff' list. Ibuprofen increases the risk of cardiac event and is a common precipiting factor in renal failure. Most antibiotics also do not do only good things. The list is too long to write here. Side effects profiles change with research and marketing developments, but thinking these drugs are only beneficial is a bit over the top.

Edit: I forgot. Ibuprofen also causes (non trivial) stomach bleeding and increases blood pressure. And many other things too.

Build Your Own Lisp 12 months ago

What do you mean with 'distinct data types' ? Most lisps are strongly typed. SBCL even accepts type declarations.

Build Your Own Lisp 12 months ago

efficient distinct data structure types backed by efficient bases

...do not require abandoning CAR and CDR, I think. See all other lisps having vectors, hashmaps, etc. Perhaps you're talking for code representation ? But I don't think that true for all 'traditional' lisps either. Also, there's been some innovation regarding lists: https://docs.racket-lang.org/reference/treelist.html

This type of syntax allows rapid iteration when looking at different implementations and experimenting with array problems. It should be thought of more as math notation than general programming.

Why gibberish ? It's a common feature in both array languages and Iverson ghosts, and many find it extremely useful.

There's no ideal solution: either you check the file in front of the patient and many find this impolite or a sign of failure to know everything, or you don't check and many find you're sometimes over assertive and likely wrong... As in many jobs, you can't please everyone.