skysight-inc/HackerNews huggingface dataset:
Writing a transpiler that turns a simple imperative language like Teeny into a simple imperative language like C doesn't feel like a useful exercise at all.

Even Lox, that doesn't claim to be a compiler at all, does something more useful: it transpiles code in Lox into Lox VM bytecode. I'd rather transpiler tutorials did something like turning a functional or OO-language into C.
Exactly: what if my radiologist doesn’t know my particular rare condition?

I would feel comfortable removing the human diagnostician. Let’s have actual human doctors acting as researchers working to improve the AI diagnostics.
Using this to equalise my headphones with the parameter sets on https://github.com/jaakkopasanen/AutoEq. Highly recommended!
Sure but the period I'm talking about is the "groklaw"/Boies Schiller Flexner period.
Thanks! I hope you find it valuable!

Those other languages are also definitely worth learning. Happily, there's lots of cross-transfer of ideas and skills between them, so learning one will make the others easier. I got my start in dependent types with Software Foundations and Coq, and that was very helpful when learning Agda and Idris later. Similarly, skills from them transferred quite readily to Lean.
What about this?
https://github.com/FriendlyCaptcha/friendly-lite-server
Err, did you miss the part where I wrote that the post is not meant to imply that ChatGPT is not impressive?!

Deep Blue beating Kasparov in chess showcased Deep Blue's capabilities; Deep Blue beating Bryan Caplan would not have showcased these capabilities, despite the capabilities being there.

The analogous hypothetical situation would be a Not-so-deep Blue that fails to beat not just Kasparov, but any random chess master with a nonzero Elo score, but manages to beat Bryan Caplan. After his defeat, Caplan would write an article claiming that he's "known to be very good at chess". This would definitely say more about Caplan's chess skill than the chess engine's capabilities. And none of this would imply that chess engines are in any way impossible or unlikely, or that the capabilities are not impressive. Indeed, a chess engine that beat Caplan would have been impressive in 1975, even though we were still very far from Deep Blue or Stockfish at that point.
> They can reproduce and recombine some text snippets about rocks, but they do not understand, what a rock is.

What is the difference between "recombin[ing] some text snippets about rocks", and understanding what a rock is?

I'm not asking philosophically. I'm asking how you can tell the two apart.

(BTW, transformer LLMs do not operate by recombining text snippets.)
does anyone have any idea on the timeline to make this available for humans?
Thank you for reading it, and I hope that the final chapter is also enjoyable for you. Right now, I plan to take a break - this book occupied every Saturday for about a year, and some time off is in order. But Lean is tons of fun, and I'd like to get back into it once I'm recovered a bit.
Your rock thing gets to the heart of the issue, LLM’s are a statistical mimic of what an actual intelligence might say.
Good luck defining AGI to any measurable degree, especially with the spectrum that it almost certainly is.

> But "simple" things like understanding what a rock is

Well, how does one verify that an entity understands what a rock is? The education system clearly has no idea how to test for understanding of literally anything. It all fundamentally boils down to testing for consciousness, which is impossible. A sufficiently advanced automaton is indistinguishable from a conscious being to any outside queries.
> but all of that is irrelevant in the face of these basic points:

> - Is there a chance that fluoride ingestion could be detrimental to human health? - Can tooth decay be prevented by diet and brush/floss with good quality toothpaste?

When evaluating those points, be sure to assess what actually happens, in real life, to real people, and not what could happen in theory.

For example, even if tooth decay could be effectively "prevented by diet and brush/floss with good quality toothpaste" in theory, the effect might be smaller (possibly much smaller) in practice, as people in general suck at lifestyle changes, dieting being a prime example, and then a noticeable subset of the population has problems with regularly brushing their teeth (for some reason, this is surprising to many). Unless you have a way for fixing that (so far no one has), this may well make fluoridated water come out ahead in comparison.

--

EDIT: The above is similar to the argument for, e.g., opt-out health insurance and social retirement savings plans - you're still free to choose an alternative or decide to stay with the default, but if for some reason you can't understand the choice or can't be arsed to make one, you and everyone else are better off with you having some insurance and savings by default. The similarity is that we know for certain that the "incapable of making a choice" bucket will contain a substantial segment of the population, so at policy level, making health insurance/retirement savings opt-in with nothing as default, is just deciding to screw all those people over.
> On Kubernetes even?

While I agree with the spirit of your post, I think k8s is a great counterexample. Of course there is a ton of things that is vendor dependent, and you can be sure each vendor will try to exploit that, but overall it's the closest thing to avoiding vendor lock-in that we have now.

Maybe 2 years ago I'd hesitate to say that as k8s was just a part of the equation but now that I've been successfully running a Postgres operator without any problems for a couple of months I feel it finally feels like a more complete solution that you can deploy in any environment in a way that is an order of magnitude (or two) faster than traditional migration from one environment to another. Specifically, it lets you avoid many services that are called "cloud-native" which basically means "harder to migrate from".
> Most of the requirements are only applied to G-Sibs

All banks are subject to capital requirements. Large banks have extra testing; that doesn’t mean “most” capital requirements are waived for small banks.

> an option's mechanism to cause the market maker to create synthetic shares

Former options market maker. All market makers can do this, it’s called naked shorting, and it has little to nothing to do with capital requirements in general.

> you have no way of proving that the underlying capital reserve won't suddenly vanish in a contagion crisis

Capital isn’t cash in a vault. It’s risk-weighted assets minus liabilities. Public equities are heavily weighted; that disincentivises using them significantly for capital. The only proof one needs that capital won’t vanish is the Fed’s discount window.

> Anytime you have over a 100% leverage ratio, its no longer fractional

This is the definition of fractional reserve. 10% reserve requirement means 9 parts debt to 1 part reserves, a 900% debt ratio.
Chat2csv Transform CSV into Charts with Natural Language
I have a little house in the back yard surrounded by some large birch trees. The insulation in that little place is pretty good, but I wouldn't say stellar. In the summers, our main house gets exceedingly hot for the same reason yours does. The little house in the shade however is nice and cool all summer.

So if you can get away with it, sure, plant some trees. :)
Dealing with Mutation: Guarded Suspension
Unfortunately not. I wanted to produce PDF and epub versions in parallel with the HTML version, but getting those to be of sufficient quality would have blown the time budget for the project. There's some old code in the Git history for dumping the source to Pandoc's dialect of Markdown, from which I was going to generate those, but the differences in Markdown dialects are enough that it was a fair bit of work.

Dropping a print version and focusing on epub could very well be faster, as I suspect that an mdbook->epub pipeline is less challenging than creating a quality print-ready PDF. But no plans right now.
Thank you for writing that. I think both karma limits/day and a downvote limit/user need to be instituted to allow for respectful disagreement and useful conversations on HN.
Debugging is twice as hard as writing new code. So if you write code as cleverly as you can, you are by definition not smart enough to debug it.
From Corp to Cloud: Google's Virtual Desktops (2018)
> Same reason why they stared iodine to salt… because people were having mental development issues.

This is not directly related to the topic of Fluoride, but Iodine was actually initially introduced to reduce goiters. The mental benefits were a wonderful, unexpected side-effect. Studies have put the effects anywhere between 8-15 IQ bump for populations that were Iodine deficient. Pretty jaw dropping when you think about it.
This is called fluorosis and it only affects children. Ingestion of excess fluoride in early life changes the development of permanent teeth and causes white speckles.
>This distribution is licensed under a non-commercial source available license
I tested it out with a bunch of personal documents. Results were disappointing. Did not match up with the promised scores, not even slightly.

I think the traditional approach to scanning and classifying without AI/ML is the way to go, for the next 5 years at very least.
London's Gherkin building uses twisting tunnels through the floors that channel air up and mean AC isn't needed most of the year. The tunnels correspond to the dark stripes on the outside.
Considering Convergence
Wunderschild: AI-driven platform for financial crime intelligence
I have a colleague who thinks the same and I can't believe one could be so naive. Nobody cares about Ballmer & co. anymore: what's important is what MS is doing now. And they show utter contempt for the user, right from the moment when they try to create an account, to the point when they try to use their system with spamware in the start menu and fraudulent links on the home page of their default browser.

Of course they have to support Linux on Azure otherwise they would lose customers, but this is just a pragmatic approach and you can be sure they will do whatever is necessary just to make money, whether it's using Linux or anything else.
> Let's stop this "discussion".

I thought you had exact proof on what these claims that the 'conspiracy theorists' are making that is indeed marked as 'disinformation' in relation to both Digital ID and the WEF. Surely you're very confident in suggesting that it is 'disinformation' without any links other than random tweets that you pasted on a search engine, assuming you've looked at all them.

> The WEF has been a target of conspiracy theorists for a long time. It's an elite agenda-setter group, sure, but its power in world affairs is still quite limited. It can be criticized on legitimate grounds and it has also failed at its PR. As for the EU, somehow these theories have amalgamated also to public perception on the e-ID and eIDAS.

So can show the links to what the 'claims' from these 'conspiracy theorists' are making that is in relation to the WEF movement about this digital identity wallet which that is indeed marked as 'disinformation' then?
It's an interesting experience reviewing a "smart" solution you wrote years ago, and happening upon it again.

It's like opening a time capsule to yourself and getting nothing but a punch in the face.
Apple have actually been transitioning to their own tiny core called Chinook (from what I remember it's a tiny ARM64 microcontroller-sized core) running their RTKit.
It's on the label and you can decide to just buy the non-fluoride version. Not sure how salt in processed food or restaurants is used though - this is the 'out-of-control' factor here.
I program for fun and have since I was 8 years old on a VIC-20. I look forward to retiring so I can work on all the software projects I love without the distraction of work.

But I don't do twitter, or the conference circuit, or blog. And I learned long ago to stay away from committee & project politics.

Programming being a lifestyle means programming, not self-marketing or getting into turf wars.
You don't have to be part of a culture to respect someone's personal identity and privacy
You did write that, but you first wrote that GPT-4's performance says more about the task than about its capabilities.

Which is the exact same pattern that has been used to "deal with" advances in AI since forever.

And Caplan is a university professor, not a random person. He's not an amateur at giving tests. It's literally (part of) his job. So what happened here is not at all analogous to your chess examples.
Lean occupies a different point in the design space. Its type theory is simpler and more conservative, its metaprogramming system is more reminiscent of Racket's (including hygienic procedural macros), and the focus on supporting professional mathematicians gives a different feel to the community and libraries. I think both are worth knowing, but either is great to learn. I hope the two projects learn more from each other in the future.
This is really cool if it delivers. I tried building an app to scan till receipts. The image to text APIs out there really don't perform as well as you'd think. AWS Text Extract performed far better than GCP and Azure equivalents and traditional OCR solutions, but it still made some really annoying errors that I had to fix with heuristics.
Crash of private Japanese moon lander blamed on software, last-minute changes
The definition of what human tasks are is fluid.

Every time a machine arrives that does what we used to do, human tasks are pushed up the chain of abstraction.

This will only change if an AI arrives that is better at us at the only IQ test that counts - navigating the complexities of real life; and maybe not even then.
It's just an electronic table; the dice are real. The goal is to reduce the crew working the table from 4 down to 1. Presumably much easier to get away with shenanigans with six fewer eyes on the action, which, I assume, is why they targeted this game.
We don’t know what the limits are, what the difficulties will be. You can’t just extrapolate from the past. We’ll have to wait and see where things go.
I interpreted the comment to say things not worth a rating probably doesn't get read to the end. If they read something to the end, it's good enough and deciding on an actual rating is just splitting hair
Thank you! I hope you enjoy the rest of it.
Kernighan's Law, exactly.
Nice Motif window decorations. What window manager is it?

This is what my Double Commander looks like: https://paste.dbohdan.com/doublecmd.mr2hnji.png. (Small screenshot because I am connected to my computer from an iPad at half its native resolution.)
It's what happens when there are more people on the business of talking than doing

I'm waiting for new courses and ebook on how to become a gpt expert.
Planting trees isn't much of an option for us. We're in an old (1890s) mid-terrace house and our front "garden" is barely big enough to hold our recycling bins.
> What is the real criterion for a machine to be considered intelligent? What does it have to do for people to not retroactively downplay it by invoking mechanistic pseudo-explanations?

When it’s capabilities are no longer a proper subset of an average competent human’s?
Original article: https://blog.cloudflare.com/workers-tcp-socket-api-connect-d...
But when I visit Facebook, I feel everybody is happy except me.
Critical thinking skills independently from the subjects they may arise from. It’s not a trendy topic of argument, but I will also propose that modern English speakers have no notion of their own language without a prerequisite in Latin, or you get folks like the person trying to tell me my subscription date started at some arbitrary date unrelated to the specific date I signed under.
The problem is a behavioural one, not a technological one.

Youtubedl is a great technological solution, but does nothing to nullify Google's desire to fight it and enshitten the internet.

If every download was accompanied by a request to the uploader to also upload their video to peer tube or sth (and also consider different funding streams), Google would not only NOT present such obstacles to their users, but they'd bend over backwards trying to improve the experience to prevent losing their viewership to open solutions.

(Well, that and they'd try some shitty legalese on top and lobby for laws against double uploads, no doubt)
Is a good time to collect stories of this period in Software. I'm doing it too for my own private archives.

I want to compare in 10+ years, how me and my colleagues used to see & experience our industry.
I found the first solution easier to understand, but I have this infuriating (even to myself) obsession with ternary operators that could introducing some bias.
Micropayment are 'profitable' save for anti-money-laundering laws (not to speak of anti-terrorism laws) which make any such payment have significant compliance costs. The only way to bypass that would be with centralized verification agencies to take liability (and demonetize anyone deemed controversial). Since they're centralized, they'll have zero use for blockchain (good riddance). Does anyone want that future?
You are welcome to join their party if you want.
This is considered common knowledge and is not especially controversial. Your personal life appears to be a special case.
In practice they're often using botnets. It's what makes this such a difficult problem to deal with. If they weren't it would be trivial to rate-limit or block problematic IPs or subnets.
War and nationalism haven’t ceased, nor have the emotional levers you speak of gone away, what has happened is that folks are comfortable behaving differently online than they would face to face
Well I assume the reasoning is that hardly anyone uses these blend modes, so why spend time optimizing it when there are more common things that could use more of a speedup.
Who are you implying is the victim? The people who have to deal with rage quitters?
> It's hard to think of any better alternative.

scrypt is better than bcrypt. it's widely available and it's good enough (though arguably bcrypt is good enough as well)

argon2id is better than both bcrypt and scrypt
'german salt' sounds funny to me.

Let's say you're buying the most popular and common brand, Bad Reichenhall. This is your selection:

https://www.bad-reichenhaller.de/en/products.html

In most supermarkets you get almost all of these options. Disclaimer is I have never seen the one with Selenium added.
Well it depends how deep you wanna go in the history, there is no such thing as a tree. https://eukaryotewritesblog.com/2021/05/02/theres-no-such-th...
How is this simpler?

It seems to me a more complex lambda calculus.
You need to pair a system like this with regulation and changes in the medical field to upskill nurses so they have a larger extended skill set and essentially have a path to becoming doctors via practical experience.

There's a lot of information on medical conditions. I remember hearing about IPhone apps that can get a 90% hit rate on correct diagnosis for general practitioner style visits. Taking that into account, and a large scale medical database, you'd think we'd be pushing that technology down so we can get better productivity out of primary care, so most of the time Dr's were using their big brains for big complex problems.
Arm Unveils 2023 Mobile CPU Core Designs: Cortex-X4, A720, – The Armv9.2 Family
I enjoy writing my own code more than I enjoy reading other people's code which is probably not right.

To understand other people's code, I have to put away my own thoughts of how things work and try understand the thinking model and mental model of the person solving the problem.

And if they're smarter than me, then I have an uphill battle.

I think experts get too deep into values that aren't practically valuable to businesses or me and as a result go into the deep end creating a manifestation of something they think is beautiful or elegant but for me is a mess I am now forced to understand, with reluctance.

They say that one person's trash is another person's treasure and I think it applies to code too.

One person's elegance at runtime is another person's unextendable mess that leads to slow velocity and developer morale.

They say code IS the documentation but I don't agree. I don't want to bounce between 50 tiny files to understand where the core part of your algorithm is and what I need to do to get the behaviour I need.

I think if you're reaching for advanced language features to solve the problem before better data modelling, that's a warning sign.
> strongly associated with dissatisfaction and violence,

dissatisfaction and violence are the easiest problems for a state to deal with.
Because oral exams don’t scale to the number of students in undergraduate programs given the number of faculty/ the resources faculty are given for teaching. This is why oral exams are mostly done as part of graduate education (or undergraduate honors theses), and then only as part of qualifying exams and thesis/dissertation defenses. By and large, regular classes taught in graduate do not use oral exams.

I think the underlying issue that no one wants to admit is that probably “too many” people go to university and/or there are “too few” professors to teach them. Modern higher ed has contributed to this problem on probably both the supply side (too few professors, especially tenured professors) and the supply side (advertising prestige, infecting politicians with the notion that a 4 year degree should be a primary goal for all).

Ironically, due to how graduate education has been distorted by underfunding of researchers (not providing stable and adequately paid research assistant/scientist positions), we have over-produced PhDs in many fields, given the shrinking number well-paying of faculty jobs universities are willing to fund.

For me it’s hard to conclude other than this is due to neoliberal/capitalist/corporatist ideology that has poisoned Western societies over the last 50 years.
Are you still struggling to answer the question?

Can show the links to what the 'claims' from these 'conspiracy theorists' are making that is in relation to the WEF movement about this digital identity wallet which that is indeed marked as 'disinformation'?

Surely you would have done this by now, assuming you supposedly have this evidence and read all those tweets. But it seems that you continue to willingly dodge the question.
However

> On the other hand, recent advances in non-equilibrium statistical physics have established that there is no a priori relationship between logical and thermodynamic reversibility.[19] It is possible that a physical process is logically reversible but thermodynamically irreversible. It is also possible that a physical process is logically irreversible but thermodynamically reversible. At best, the benefits of implementing a computation with a logically reversible system are nuanced.[20]
Google and other content stores will promote content a lot more the more feedback it has. Good feedback is better, but bad feedback is better than none (assuming all your feedback isn bad).

Feedback on play store etc *is* a gift. A gift of making your content more discoverable by others. Anyone that has ever written a book and is making it available through online platforms should know that so I have to consider the article as a bit of a click bait rather than genuine opinion of the author.