shpongled

micro ML/lisp to C isn't too involved, really!

1. Convert to continuation-passing style (or ANF)

2. Perform closure conversion

3. Hoisting nested functions/lambda lifting

4. Generate C! (and then write a runtime/GC).

Targeting lua should be much easier

Hiking is what gets me the most. I go outside to be in nature, not hear music. Not to mention that everyone owns earbuds these days...

In my part of STEM - the S part - no one knows about LaTeX. It's MS Word or bust.

I just want to say thanks for DataTables - it's a fantastic library!

I'll be the counter example. PhD in life sciences, but I've also been programming since I was a teen. Rust is by far my most used language for both general fun projects and in my role as a programmer in the life-sciences. Python is OK for ad-hoc analyses, but I cannot stand to use dynamically typed languages for anything "real" given how much difficulty dynamic typing imposes on reading and understanding code.

It is especially bad when all of those "tutorial" websites are pay-walled Medium sites too

I think you're going to have a very hard time doing any kind of actual (interesting) analysis on a DIY MS.

Interestingly, wiki links back to a Paul Graham article referencing Ooka http://www.paulgraham.com/property.html

#3 languages have been around since the 80's (SML) and 90's (Haskell)

I don't think it's a big stretch - I always consider Rust to be in the ML family of languages

I love it. I would kill for one for reddit too.

> If you believe vaccines have no potential negative effect beyond 1 week, you'll have to give a serious thought as to why you believe Covid can have long term effects

...because they are different? A localized, single dose mRNA vaccine that transiently produces spike protein will have a completely different effect than systemic infection with a virus.

> no posing

> "Weird Fun Stories", "Highlights + Lowlights"

Good luck, but I have to say this is one of the weirdest sounding apps I have heard of, and something I (and probably most of my friends) would never use. I don't see how forcing conversation around some kind of "theme" produces "authentic" and "deep" connections - those are things that only come organically

Will I be able to use i3?

Thanks - author of the repo here. This really started off by me reading Pierce's Types and Programming Languages textbook and getting interested in implementing typecheckers and whatnot... and kind of spiraled into a full blown compiler. So it's ultimately a learning project for me and not meant to be a production-ready compiler (we already have MLton).

After this experience, I do agree that going with the "vertical" approach you described would be significantly easier - I actually considered doing this for just the raw lambda calculus so that I could get CPS transform and native codegen working on a smaller scale.

Unfortunately, I haven't had time to work on the project in a while (I'm finishing my PhD in chemical biology), but I hope to come back to it soon.

Author of the posted repo here! As another commenter posted, I used typed arenas quite a bit, it's not the most ergonomic way to do stuff, but it's quite performant and gets around the lifetime issues.

I'm not an expert either, but I think you could also use a one time pad to do exactly that.

You have a picture of a cat, and 2 one time pads (OTPs). OTP #1 is the key for your real data, and you can generate OTP #2 such that it decrypts the ciphertext (in this case, an image) into whatever data you pick.

Whether this is practical is a completely different question though.

While an interesting thought experiment, no one is proposing that you will get self-assembly of an organism by expressing 10,000 genes. We really don't know what the beginning steps of this process were - since it only happened once (or however many times life arose). Once an organism was made, now it can just express whatever proteins it currently needs, based on lifecycle/nutrients/metabolic requirements/etc.

I hate to tell you, but there is not, and never will be a cure for cancer. Every cancer is unique. The best we can hope for in a realistic time frame is a set of drugs that cover a significant portion of the lineage dependencies corresponding to a majority of the the most common cancers. Ideally, we will be able to drug/ligand every human protein, but we're still a long way off.

Furthermore, science isn't necessarily a tractable problem that scales linearly with the amount of manpower thrown at it - many of our greatest discoveries have happened serendipitously.

I understand that that stuff is all relatively niche/not necessarily useful in every day life (I know nothing about sockets or TCP/IP) - I just figured your average SWE would at least be familiar with the concepts, especially if they had formal training. Guess it just comes down to individual interests

Maybe I should apply for some senior dev roles then :)

disclaimer: I don't mean this to come across as arrogant or anything (I'm just ignorant).

I'm totally self-taught and have never worked a programming job (only programmed for fun). Do professional SWEs not actually understand or have the capability to do these things? I've hacked on hobby operating systems, written assembly, worked on a toy compiler and written libraries... I just kind of assumed that was all par for the course

If we can accurately predict protein structures (particularly multiple structures, or structures reflecting what the conformation is in cells), then we can do a couple things:

  - better predict drug binding to proteins (massive benefits if accurate)

  - better understand the functional outcomes of missense mutations on proteins

  - study protein-protein interactions

  - and in general, just gain a better understanding of biology (which is driven by proteins and their reactions/interactions)

I'm a big fan of SML as well (I worked on a hobby compiler for SML, and I've written some programs in it).

Investing in the ecosystem (tooling, VSCode support, packages) would vastly improve it, but it still has some warts compared to Haskell - no ability to auto derive implementations (like debugging/printing structures!), and lack of typeclasses can be painful at times.

I really like Rust because of how similar it is to what I believe SML could be - just take away ownership and change the syntax, and bam!

Simulating a single cell, let alone an entire human will be the final problem we ever solve. It's that difficult.

I really wish Standard ML had a bigger (I'd settle for active) community, a package system, and modern IDE support.

Rust feels like the closest thing to me in terms of overall practicality/ease of use.

Plasmid is the correct term!

Not all government bonds are worthless against inflation!

You can purchase up to $10k in Series I bonds every year that carry a fixed rate (currently 0) + a variable rate set by inflation (CPI) that is adjusted semi-annually. I bonds purchased right now are yielding 3.5% (due to recent CPI data) for the next 6 months. They are an excellent place to park some cash/emergency fund with some caveats (no redemption for 12 months, lose 3 months of interest if you redeem before holding for 5 years)

I imagine that most people saying "CoC" out loud are not saying "cock", instead either "Code of conduct", or "cee oh cee".

Visual Basic was my introduction to programming - I still have somewhat of a fondness for designing GUIs in Visual Studio