skysight-inc/HackerNews huggingface dataset:
If you wrote a test which only checked that sqrt returned a number (any number) for a given input, then that test would indeed be superflous with static typing.

But my argument is you would not write such a test in the first place. You would write a test which checks the output is correct which obviously implies it is also a number. Static typing does not in itself check if the output is correct, so you still need the test.
Try pairing tmux with mosh, it's how I've been working for years whenever I'm forced to admin through a brittle straw. Mosh combats lag pretty well and doesn't care if your connection drops intermittently. https://mosh.org/
>The US hasn't even had a period of high taxes intended to impoverish the rich, as the UK did after WWII.

Effective US Corporation tax was as high as 50% post WWII. Effective income taxes were between 70% and 90%.
Do you use a special keyboard app too, or just the default one?
Thanks for the feedback! The target audience I had in mind was certainly developers (like me), not "all people". And the wording was indeed inspired by PL talks and blog posts I consumed over the years.

Here is a (slightly provocative) thought: We developers were promised "first class functions" with functional programming languages. And it's true, you can pass them around like any other value! Cool.
But first: What about inspecting those values? I can "look inside of" a number or string or array any day. But functions, I can only call. Huh, so an intensional view (not that anyone thinks that out loud) for all kinds of values, except functions. Yes sure, many languages do allow you do dig into functions. But it is all not the same as or as powerful as supporting it right down at the logic level! TC is also not first to do that. But IMO the most compact and practical calculus/language to do so, yet.
Second, a practical example: We had "first class functions" for decades now. But where is our main stream config language (JSON etc) that has first class support for them? Of course the answer is: Because it remains tricky. In industry I've seen all sorts of work arounds, usually involving strings that get compiled/interpreted on the fly. Which usually means some amount of scary security, and no static guarantees whatsoever. With TC, a parser/runtime for arbitrary (but pure) functions is a few dozens lines of code. And thanks to being intensional, one can imagine type checking those functions at the time of loading the config, not only when executing! Concrete demo/blog post for exactly this is in the works.

So anyways, I do belive this enables truly fundamental shifts, hence "democratizing".
https://pinkpigeon.co.uk

Who'd have thought that a CMS could still make money in 2024, but this one is around £500 a month.

It obviously doesn't pay the bills or the mortgage, but it works. All my clients are word of mouth, I do not advertise at all (a combination of costs and insanely opaque / fractured advertising models by Facebook and co...I don't have time to get a phd in your ad platform to see if any of my money is actually doing anything)

I build it originally because I was fed up with Wordpress / Squarespace / Weebly / Wix, because all of their interfaces are slow and don't work on mobile.

This CMS is fast and works on mobile.

It's also pretty cheap nowadays, as I've not been raising prices like everyone else.

It won't do super-flashy websites. It's mostly about having low-JS, good SEO, easy access to information, which can be managed by very inexperienced users (I live rurally and we have a fair few pensioners as clients, they all get along with the system very well).

There are just about a billion things I want to do with it, but it never made enough money to become my full-time job, so it mostly just sits there and does its job.
Revolut bans GrapheneOS using anti-competitive Play Integrity API
Doctors should make that determination, not insurance companies.
I hope wasm becomes the assembly language of the web, before JavaScript does.
Reposting since my other comment is hidden under a flagged comment.

It really sounds like he has hEDS. Hypermobile Ehlers Danlos (hEDS) can cause Small Fiber Neuropathy and back pain, as well as poor healing from surgery. It’s also more common in engineering type people, higher IQ, ADHD, anxiety disorder etc

It’s probably the most under-diagnosed condition in general. It’s also autosomal dominant. Can present as psychosomatic - gaslighting from doctors is typical.

It’s a shame more people don’t know about it because there are ways to effectively treat it - it’s an area where patient communities are far ahead of the medical community. So this could be a failure on two fronts, a failure of insurance but even if they had unlimited coverage there still would have been a failure in treatment.
That might be interesting, I'll check for some examples.
I like this idea. It's hard to think about ways that trees might combine or operate on other trees. This is fantastic to get into. Thank you for posting and the other commenters for sources.
Zero to CMake: A beginner's guide to why CMake works
Thanks!
We sold about 30 CPUs of the old version, then we had to stop because the main component was not available for years, right after the pandemic. Now we use an alternative component that is also less expensive and we have added several new features.
The current development board is not fully functional, we are working on ETH, RTC and also fixing a few other things. We expect it to be fully functional and available by April 2025.
The OS is actually just very simple; it boots an image from SD, sets up the interrupt table, initializes a list of free memory and that's it for now. This part will be OpenSource so that we can take inspiration to make something better. The development board (mainboard) will also be open hardware and should be listed on GitHub. The macro assembler is freeware, but only because (currently) the code is really a bit messy!

For ternary logic functions you can refer to this site that inspired us:
https://homepage.cs.uiowa.edu/~jones/ternary/
Hi everyone, I'm building a platform for buying and selling historical solicitation documents, and I’d like to make the source code public so everyone can share their thoughts. Please check it out here.
I can explain my perspective which echos kinda what you say.

I am in my 40s, I make pretty good money. My life is good.

My mom died last year. The medical system and her medicare "advantage" plan killed her. She had a stroke. However, within a day, she was up and walking around with assistance.

However, the hospital was understaffed so two things happened. She fell going to the bathroom AND after that happened, they did not get her moving enough and she got a huge bed sore.

The huge bed sore would not have happened if her medicare advantage plan hadn't denied denied denied having her moved to get physical, occupation, and speech theray. If she had just good ole medicare, they would have approved it the day of request (it was requested the day after the stroke, I was warned that her plan was going to deny because they always do where medicare always approves). Instead, she rotted in an understaffed wing of the hospital for a week while I fought to get shit approved.

After getting approval to be moved, she was making slow slow progress due to the bed sore. It is hard when your body needs to recover and you have a huge wound on your back.

Once again her medicare "advantage" plan denied giving her more time in therapy. Guess what? Medicare would have just approved. Her advantage plan said the "community" could care for her and she could just get better over time. Do you know what that means? They wanted me to quit working and care for my mom 24/7. That is what they meant by community care. I am an only child with no other family except my wife and kids.

The hospital social worker was great and refused to discharge my mom because she knew I couldn't physically move my mom around or give her the care she required. That started a month battle where her insurance was refusing to pay anymore hospital bills, refused to get her more therapy, and essentially killed my mom. If the social worker had allowed my mom to be discharged, I would have been fucked.

She slowly got worse and died. The american medical system with its private "advantage" plans took what would have been a recoverable bad health incident and allowed it to kill my mom for greed.

BTW, after a month of fighting, emails to the insurance board of directors and CEO, I got more therapy approved for my mom but it was too late by then. She died a few days later.

You can probably guess how I feel about the CEO's murder........
The formal class is called BQP, in analogy with the classical complexity clas BPP. BQP contains BPP but there is no proof that it is stictly bigger (such a proof would imply P != NP). There are problems in BQP we expect are not in BPP but its not clear if there are any useful problems in BQP and not in BPP, other than essentially Shor's algorithm.

On the other hand it's actually not completely necessary to have a superpolynomial quantum advantage in order to have some quantum advantage. A quantum computer running in quadratic time is still (probably) more useful than a classical computer running in O(n^100) time, even though they're both technically polynomial. An example of this is classical algorithms for simulating quantum circuits with bounded error whose runtime is like n^(1/eps) where eps is the error. If you pick eps=0.01 you've got a technically polynomial runtime classical algorithm but it's runtime is gonna be n^100, which is likely very large.
I would recommend the Assimil language courses, very good if you consistently do it every day, they're also not too expensive. Like 75 bucks last i checked, and that'll keep you busy for 90+ days.

Assimil says it can get you to a b1/b2-ish level, which i think is about where it takes you. I did their German course a long time ago, and was able to read paragraphs and understand them just fine by the end of it(didn't keep up with German, so that skill has atrophied.

After finishing Assimil, i would watch a tv show you've already watched but now in french. Ie: go to Netflix or Prime(which in my experience have the most language options) and watch Friends, 24, The Blacklist, Seinfeld etc etc whatever you can think of, in French, it'll help a lot, and make acquiring vocab easier. Native language content can sometimes be a bit harder to grasp because of cultural events/history you may not be familiar with yet.

But French language content I have enjoyed in the past are the podcasts "Podcast Marketing Digital"(also a youtube channel), deux mille ans d'histoire(history podcast)
The whole premise of clockwork is to setup a system that's self sustainable to make you money with minimal effort - it's a book for owners.

If everyone in the business worked like this - carving out roles where they get paid, but did next to nothing, then I suspect the business wouldn't do very well.
You don't have to look as far as obscure internet music genres, though. Musique Concrete set the very basis for sound design and the art of sampling! Today, artists manipulate recorded sounds in software, instead of splicing magnetic tapes, but the fundamental principles are still the same. Most people are not aware to which extend modern music has been (indirectly) shaped by experimental electronic music composers of the 1950s. Its influence can not be overstated.

BTW, there are quite a few composers that have continued the French tradition of Musique Concrete will into the 21st century, most notably Pierre Henry, Luc Ferrari, Bernard Parmegiani and Francois Bayle.
> and if you bought the device on a payment plan it’s out of their hands

Woah. So you'd have to keep paying for this now-defunct plastic piece of garbage?
Unsexy tech business making roughly $6-7k/mo. I partnered with a local janitorial company that targets industrial clients with recurring nightly cleaning needs and I make roughly 7% of gross revenue as a recurring weekly payment as long as the client stays on w/o much work. I help do some client support, SEO, and pay for things like Apollo.AI to reach out to customers but other than that it is pretty hands off. I feel very fortunate.
The difference in parenting styles to raising good programmers in extremes like Rust and Common Lisp seems to be one of spanking and being a friend
I was even more surprised by the response on Bluesky because I naively expected it to be 'better' than that. But I saw vitriol and hatred directed at people for daring to suggest that other, unrelated CEOs shouldn't be shot. It was like a reflection of the worst elements of X, even though these people claim to be the 'good' side.
Note that it refers to his book on the "Specification" page :)

> Seems to be a pattern for them sadly, not sure why

Can you elaborate? Agreed I could (and will) attribute more explicitly on the website, but the intention is in no way to grab credit. I just posted this reply for more background on everything: https://news.ycombinator.com/item?id=42375914
> While some content creators do it for love, art, whatever, others do need an income stream to keep going.

Then they should find a business model that doesn't involve psychological manipulation. Ads are predatory. I have as much compassion for those who cry about ad revenues as I do for people complaining that they worse off for not being allowed to rape and pillage.
But Neovim does allow for both LSP and even LLM integrations. So auto-completion could make typing on a phone much less tedious.
Yes, I confused you with rich_sasha, that's right. My aplogies.

As you say 700k people over two years is an impossibly high number so we can disregard this number and any other number that someone makes up just because they want to make a point. That's not the way to make a point with numbers.

>> So after all this, do you at least agree that (a) many people died, (b) the research accident caused those deaths, and (c) that's bad?

Not at all. Note that my initial point, quoting from my initial comment, was that "every single pandemic and disease that has ever infected humans did not leak from a lab and instead evolved in nature, usually in animals".

The 1977 flu did not start in a lab but instead jumped from animals to humans, just like any other disease that has ever bothered us. This happened in the 1950's. In the 1970's an earlier strain of the virus re-emerged but we don't know where it came from and it did not cause a pandemic.

The Covid-19 virus instead is said to have first come from a lab, and some people even think it was a human-made virus, possibly as a result of gain-of-function research. Nothing to do with the 1977 flu.

Have you looked for the Udacity course I recommended, on probabilities? It is really good and it will help you a lot.
NK2R control of energy expenditure and feeding to treat metabolic diseases
I think this experience is true if you work in software companies.

I work for a factory maintaining it's existing custom ERP and building new software for it (basically imagine a programmer consultant for 1 costumer just with regular contract). Mix of maintaining legacy code, writing new one and servicing hardware is dynamic enough not to be bored and I have a lot of independence in the job. It's comfy af.
Do adults have the skills they need to thrive in a changing world?
My HP48 from high school (90‘s) is one of my prized possessions. It still works.
And I still can’t use a calculator that does not use Reverse Polish Notation…
this paper is going through mass media meanwhile as it alledgely shows how Skynet started to take over...
C is too abstract, I was hand coding binary all day.
I forgot the \s :D thanks for the movie rec tho
I love this.

I honestly want everyone to cheat on these leetcode style interviews. I want that process to be broken and for the whole system to become completely ineffective, so that companies are forced to go back to actually putting some thought into hiring.

I doubt it'll happen and instead surveillance during these interviews will probably just increase instead, but perhaps you've kicked off a game of cat and mouse here, which may make some hiring managers reconsider leetcode.
Ok, I stand corrected - in some cases it makes sense to have whole words on the flaps. The first picture are domestic Japanese flights (limited number of destinations, and it's probably not possible to have all Japanese characters on flaps anyway), the second is Windhoek (Namibia) in the 1960s (also limited number of destinations), and the third seems to be at the counter of a domestic Argentinian airline (https://en.wikipedia.org/wiki/Austral_L%C3%ADneas_A%C3%A9rea...), so just shows their flights. But the "Adobe board" still looks suspicious (mainly because of the missing airline codes in the flight numbers, which all the "real" boards have).
This is my sticking point as well. The bullet messages only made sense for this specific guy and that’s a whole lot of work to engrave bullets, take a multi-state bus ride, camp out in a hostel, etc if you’re not 100% sure the guy is going to be there.

I’d feel more confident if he’d staked the route out for multiple days or if there was a plausible backup plan like breaking in to the CEO’s hotel or the conference.
It's interesting that the idea that 'banks should refuse to do business with potential terrorists' is something that most people I know support, or don't care about.

Until it happens to them. Then suddenly they get quite passionate about the state that the world is currently in.

I don't have data on how many people are being debanked, but anecdotally it definitely seems to be some kind of 'line go up' number, and I wonder if cumulatively it will get to some kind of critical mass where we have a large enough percentage of people make enough noise that the laws are reigned in, or if they'll be 'that group of weirdos' forever.

(I almost got debanked once -- I had my account re-instated after many weeks of extreme stress https://news.ycombinator.com/item?id=37925678)
> Well that's also not very sustainable, content creators have to eat :)

That is a concern for the "content creator" not for anyone else. We have way more "content" than we need, especially "content" compromised by ads.
Super cool! I think a (potentially animated) version of this would be an excellent addition for the website's "Specification" page :)
I’ve basically stopped eating fish now: most fish is mass-hunted from unsustainable populations, farmed fish has horrible problems with disease, and there’s huge collatoral damage against other sea-based life.
My first programming language was C/C++ and I learned dynamically typed languages after, I still prefer the dynamically type languages. I still do a lot of C/C++ code for micro controllers and the types are so annoying, either create a function for both ints and floats, templates or you cast the type. It's all so tedious, boring and uninteresting.

I have made a lot of code that works on a lot of third party APIs (The major LLMS, Image generators, E-commerce stuff) and yea it's all been easy breezy and never thought I wish I had types.

Different people just work in different ways.
https://reqres.in/ - roughly that much in ads revenue. Would love to add a paid plan for more features, but....time.
Demystifying RAG: The Technique Powering Modern AI Products
I think at least part of the problem was that the quotation contained quotes itself—we could probably turn this into a discussion about nested quote marks, unicode quotes vs. ascii, and character escaping if we really wanted it to be relevant to HN's core domain...
I'm still going to run it every change and those errors are rare and quick to fix.
TPOT?
For me t9 was king - I still remember to type blindly and know exactly how many times to hit the asterisk to get the word I want.

With touch screens I just turn off auto-correct. Sometimes I hit the words above the keyboard to complete/repair a word, sometimes I hit the word that’s underlined red or blue to fix it. But never automatically.
Brilliant logo, thanks for pointing it out, I was just reading the comment before deciding if it was worth it to check out the project page.
Same here. I stopped completely. I rarely eat meat but when I do, it's farmed chicken. Not great either, but at least it's a reduction and it doesn't have as much collateral damage (except land clearing).
JS ist not typeless. In fact dynamic languages allow you to use very complex types that are not even possible to express in most static type systems. That is why TS needed to have such an advanced and complex type system to catch at least most of it's power.

You are right that dynamic typing is a valid style though and offers some great advantages but also disadvantages. That is why most dynamic languages have added gradual typing support to have the best of both worlds. The real issue is the weak typing in JS which is an design mistake in retrospect.
The person I replied to is in the EU where rather strict rules exist that prohibit this kind of nonsense.
Not familiar with the UK version, but these kinds of regulations usually apply to personal bank accounts and do not require extending any credit. So you'd only get a basic bank account that cannot be overdrawn, nothing more.
I agree 100% to this. I use analogy of Scout in Age of Empires game. Scout allows one to explore the terrain, mark areas of resources, enemies, their civilization type and hence strengths/weaknesses.

Similarly prototyping enables simultaneous exploration of problem space and solution space. After prototyping one can propose a design/architecture which is rooted in ground reality. You are more clear about upstream/downstream dependencies. Might even uncover gaps in product specs.
That's why I test the code and solve the logical issues? The joke was that the language would be smart enough to catch the less obvious stupid mistakes instead of obvious to solve type bugs.
> carving out roles where they get paid, but did next to nothing, then I suspect the business wouldn't do very well

That's exactly what happens at big tech companies, except the business can be doing so well that the impact is only felt on a 10-year timeline.
I promised myself I wouldn't respond to ridiculous posts on the Internet with zero credibility.
> AI and data security will be unalterably different if so

So what are the implications if so ?
The most efficient IOS app to manage a budget
It's not just possible, but highly likely to occur in the near future. What if the company folds and there is a bug that causes it to halt and catch fire? What stops a RAM/ROM bit flipping?

Connected HSS is fundamentally a problem, not unlike IoT. I have several UPS's and not once did I think this might occur, because they are simply not attached to my network in any way. The triggers are based in hardware with a small microcontroller and are unlikely to fail.

Systems that run for long periods and could cause damage should be developed differently. Core safety features should be hardware-based, you shouldn't be able to hack it and make it do something dangerous. If it has to be network connected it should be defensively designed.
This one is new to me. I know of 3D: Do, Delegate, Defer