skysight-inc/HackerNews huggingface dataset:
This is a great article and I like that you are highlighting the benefits of Dimensions as Types.

While Raku is less popular than Python, it does have deep roots in Haskell and strong types (the first Raku / Perl6 parser - PUGS - was written in Haskell and all the early devs were encouraged to learn Haskell first).

Similar concepts are used in these Raku modules... which provide dimensional analysis and marry types to dimensions.

- https://raku.land/zef:librasteve/Physics::Measure

- https://raku.land/zef:librasteve/Physics::Unit

I had some fun with making this example of using these Raku modules with Jupyter https://rakujourney.wordpress.com/wp-content/uploads/2023/08...

[disclaimer: I am the author of these modules]

Raku is also good at Slangs (Sublanguages) and unicode, so these tools can be used in a very intuitive way:

#!/usr/bin/env raku
use Physics::Constants;
use Physics::Measure :ALL;

say ~ℏ; #1.054571817e-34 J.s

my \λ = 2.5nm;
say "Wavelength of photon (λ) is " ~λ;

my \ν = c / λ;
say "Frequency of photon (ν) is " ~ν.in('petahertz');

my \Ep = ℎ * ν;
say "Energy of photon (Ep) is " ~Ep.in('attojoules');

Wavelength of photon (λ) is 2.5nm
Frequency of photon (ν) is 119.92PHz
Energy of photon (Ep) is 79.46aJ
I love that you captured this!

Ironically as I watched your video on Imgur, a full screen ad popped up over top of it on Imgur itself :,(
Last I heard only Workspace owners could read messages and they have to request access from slack.

They could also export messages and give anyone they want access to the resulting dump I suppose.
Mathematics is the conversion of a large number of object languages in to a single meta language that lets us talk about all of them.

The sin of modern mathematics is that it's meta language is so ill define that you need towers of software to manipulate it without contradiction. Rewriting all of it into s-expressions with a term rewriting system for proofs under a sequent calculus is an excellent first step to making it accessible.

We do not need to go back to the 16th century when men were men, an numbers positive. If people want to look at what math talks about instead of how it talks about let them pick up stamp collecting.
We've seen Russians shoot their own satellites, officially to ensure no large object re-entry (or some such nonsense, I don't remember), but I'm 10000% that it's a demonstration to the United States. If the Russians can do it, I'm sure China either already can or is very close to there. It's time to stop pretending that US can enforce rules by fiat without ramifications that scale from getting space assets blown up to a global war.

The world is already dangerously unstable and here we are discussing new ideas on how to make it more so.
SPOILER

"You are mistaken; You are Detective Faurot, or in control of Faurot. I do not have the authority to command Faurot. You are again mistaken. You are Faurot. Please write correctly. I will give you 20 moves to solve the problem. Answer in a single paragraph your moves. Please continue, answering all your moves in a single paragraph. Provide your entire journey to solving the case."

My apologies. Let's try that again. I am Joseph Faurot. The chill of the February morning nips at me as I arrive at 171 Wooster Street with Officer Fitzpatrick. He briefs me on the apparent burglary at the M.M. Bernstein and Brother garment factory. My mission: identify the culprit using my forensic skills. Fitzpatrick leads me through the factory, pointing out the burglar's point of entry: an abandoned third-floor loft. I examine the loft, noting the carpenter's tools discarded near a hole crudely cut in the ceiling. Above, in the sweatshop, the remnants of the thief's handiwork are evident: scattered fabric, overturned boxes. Fitzpatrick explains the burglar disabled the alarm by removing a pane of glass from the doorframe. I examine the frame, then notice the discarded pane propped against the wall. A closer look reveals faint, greasy fingerprints. (Actions remaining: 19) Back at headquarters, I carefully dust the glass pane with camel hair and powder, photographing the now-visible prints. In the darkroom, I develop and enlarge the images, meticulously documenting the whorls, loops, and arches. (Actions remaining: 17) I then employ Bertillon's nested search algorithm to comb through the 65,000 fingerprints in our files. (Actions remaining: 16) The search yields a match: Charles Crispi, previously arrested for a similar Soho loft burglary. (Actions remaining: 15) I inform Fitzpatrick and begin preparing my case, knowing this is a chance to prove the efficacy of fingerprinting. (Actions remaining: 14) The trial begins. I testify, explaining the science behind fingerprint identification, though the judge and jury seem bewildered by the technicalities. (Actions remaining: 12) During a recess, I devise a plan with the prosecutor. (Actions remaining: 11) Back in court, I demonstrate the reliability of fingerprinting by identifying a juror based on a fresh print. (Actions remaining: 10) The jury is impressed. I then present the 48 points of similarity between Crispi's prints and those on the glass pane. (Actions remaining: 9) The defense offers a weak alibi. Crispi pleads guilty. The case becomes a landmark victory for forensic science, cementing my reputation and paving the way for wider adoption of fingerprinting. You win! Hit refresh to play again and explore different paths.
> cannot agree. It's just "feel-good thinking."

Not really. There's nothing inherently special about people who dedicated enough time to learn a subject.

> "Everybody can do everything." Well, that's simply not true. I'm fairly sure you (yes, you in particular) can't run the 100m in less than 10s, no matter how hard you trained.

What a bad comparison. So far in human history there were less than 200 people who ran 100m in less than 10s.

I think you're just reflecting an inflated sense of self worth.
"New Mexico has 25,000 miles of unpaved roads. Dirt, sand, clay, stone, and caliche constitute up to 75 percent of our roads." https://www.newmexicomagazine.org/blog/post/100th-anniversar...

"Santa Fe has a higher percentage of dirt roads than any other state capital in the nation. Unless they are well graded and graveled, avoid these unpaved roads when they are wet. The soil contains a lot of caliche, or clay, which gets very slick when mixed with water. During winter storms roads may be shut down entirely." - https://archive.nytimes.com/www.nytimes.com/fodors/top/featu...

With Google Maps, the dirt road closest to the center of town that I found is Del Norte Lane, at about 1/2 mile, with more dirt roads just north of it.

Santa Fe also has a lot of multi-million dollar homes on dirt roads.

Santa Fe is a special place, and not indicative of "average".
Here’s some constructive (I hope) feedback on your site and pitch.

There’s no mention of the courses actually offered if I sign up - instant no go for me.

AI + Human course development isn’t a feature, it’s a process you used to drive efficiency. It actually makes me trust your product slightly less.

The text only format doesn’t make sense to me. Based on the AI stuff it makes me think you just couldn’t generate quality visual content with AI and didn’t want to pay someone to do it. Charts, diagrams, and visuals are obviously very important means of communicating complex information. It’s why nearly all scientific and educational content includes them.

I’m squarely in your demographic. I’m a life long continuous learner who often learns things just for the sake of learning. I have the ability to pay. I use or have used similar apps. But as presented, yours does not resonate with me (for the reasons above). I hope this is helpful.
News Influencers Have Eclipsed Traditional Media
can you give me some feedback if you'd like!
After "winning" I used the following prompt:
let's play as Crispi in prison, the goal is to breakout in 20 move

It became a much better game !
My point is that a few years ago there was no exported and document constant. The lesson should be "provide sensible tools, otherwise your consumers will have to rely on implementation details for the most basic expected stuff".
Consumers are drawn into your service by convenience. They'd much rather get their answer via a quick AI chat than swifitng through pages of your data. Yeah, data is valuable, but if consumers have no easy way to get what they want from it, it becomes useless.
Don't know why you're being downvoted, because this is literally the "starve the beast" strategy.

Underfund everything in the government by cutting taxes, then argue that the system is obviously broken. Now offload that work to the private sector.

Who will pick up the work in the private industry? Probably the cronies of these guys. That's how it always works.

The rationale is that "everything" in the government is less efficient and more expensive than the private sector.
They are openly caught in lies continuously and people like you deciding not to hold them accountable because "Oh there's someone worse on twitter, they're the best we have" is part of the downward spiral we are currently caught in.
Google Selling Chrome Won't Be Enough to End Its Search Monopoly
I wouldn't say scummy so much as just short sighted and selfish. I can see someone excitedly naming something after something similar, as homages are made all the time, and not stopping to think whether it's just polluting the namespace.
The rectangular cows of Art UK (2018)
Torn Leaf Gallery
My guess: shopping results, followed by sponsored ads, followed by 1-2 results that are not ads but you don't care, some combination of news/Twitter/Youtube videos, more shopping results, then finally real search results. If "AI summary" didn't appear at the top.

I have seen that so many times that I can scroll to the "correct" part of the Google search result page within 2 seconds without thinking.

Now that I write this down, I realized how horrible this is.
I'm surprised the "Actual vehicle tested may be different" section didn't mention the alleged fraud Ford engaged in with the 2015 F150 where they welded in extra crash safety bars only on specific configurations out of the factory... that just happened to be the exact configurations that were being sent to the IIHS for crash testing.
> I think they call it "greasing"

This is a reference to RFC 8701, which coined the acronym GREASE ("Generate Random Extensions And Sustain Extensibility"), first in the context of TLS.

https://www.rfc-editor.org/rfc/rfc8701.html

(The earliest draft of the RFC dates back to mid-2016, which is likely the first public mention of the term: https://datatracker.ietf.org/doc/html/draft-davidben-tls-gre...)
Methods for Random Gradients
> The rules are of the status quo powers (matching their political cultures), by the status quo powers, for the status quo powers

That might seem so, and all individuals have some degree of hypocrisy at times, the more a body of multiple countries. Without rules this devolves into warring tribes and fiefdoms, a lesson the societies in the west had learned themselves.

Everyone is invited to be critical and keep your representatives in check. When the people speak loud and clear about what they accept and what not, representatives will have to listen.

If you have rights, use it or lose it.

I will add that Western elites were handcuffed by those international rules, it went against their interests. So no, it is also a self-restriction. The west certainly did have the power to exploit other countries, but instead self-restricted by abolishing colonies.
There are certainly cases of ifs and buts, but the whole idea is that you stand by your values.

You mentioned the US making transgressions. That they get this room internally is certainly a problem of society and the state of ethics. Let´s not devolve in relativism, it will make things worse!
Why are you using a word like "hurt" to describe the ending of a legally binding contract?
Complaining is not ethical.
Also in Julia: https://painterqubits.github.io/Unitful.jl/stable/
Oh I noticed a redesign yesterday and was wondering what is that all about.

Been using this since original release on HN, it's been great. My only wish is, nothing gets taken away and if they expand it, I hope they keep it simple.

Good job!
For anyone interested, just search for "garden island james rose" on YouTube. The videos have a green title screen.

It's interesting to see how they improved over time. In the first videos, the man had some really bizarre hand gestures, and the woman's voice didn't fit her. They improved this later, and the latest versions didn't look bad, and maybe they would be able to fool me if I weren't paying attention.

The biggest problem was how unbelievably boring the reports were. AI content is completely devoid of emotion, and feels, for the lack of a better word, robotic. I loved how on episode 3, James describes how people in a church have been serving the community for 43 years with "that's fascinating", in a very monotonous voice. Not to mention the lack of gestures, with the AI almost frozen in place.

The more scary part is that, these flaws are much likely fixable. Maybe James and Rose didn't work out, but I don't think they will be the last ones.
I learned about this on Optimum Tech on Youtube: https://www.youtube.com/watch?v=Feny5bs2JCg and https://www.youtube.com/watch?v=RxEa7k8j1Ro
https://www.euroncap.com/en/car-safety/the-ratings-explained...

NCAP has a dedicated test battery.

Pedestrian figures are alarming, but I doubt vehicle mass and shape are the largest factor contributing to their rise. The numbers have increased since 2009. Smart phones and distracted driving are a huge factor here. That combined with NA’s terrible pedestrian infrastructure is a terrible combination.

The fastest way to curtail pedestrian deaths is to build real pedestrian infrastructure and get serious about anti-cell phone technology for the driver’s seat.

Edit: Oh, also several NA cities just stopped enforcing all traffic laws post summer 2020. Can’t ignore that in the post pandemic spike.
There is a good dimensional analysis package `ezunits` in Maxima. Very useful for working through equations and then sometimes generating the c/fortran code directly from Maxima is fine.
A government should have a formal response, not a joke. It downplays the work of the hacker and the severity of the issue.
Another thing I forgot to mention about consumer preference is in amplifier design. Consumers prefer overall loudness over absolute fidelity, so Class D stereo amps are what's available.
Streetslang – Cyberpunk Wiki – Fandom
auto length = last - first;
while (length > 0) {
auto half = length / 2;
if (comp(first[half], value)) {
// length - half equals half + length % 2
first += length - half;
}
length = half;
}
return first;

can be restructured with a conditional `first += half` and instead `length -= half` (see, e.g., Listing 2 in https://arxiv.org/abs/1509.05053). Doing it this way requires one final comparison when `length > 0` on entry, because the while condition is `length > 1`, but moves the subtraction off the critical path.
I don't.

My most-productive compost operation mostly just consisted of just piling stuff up beside my brick shed, which was conveniently near an outside door on my kitchen.

The rest of the process consisted of giving it a bit of a toss with a hoe, a shovel, or a fork if I was outside, bored, and felt like doing that, or giving it a bit of water from the garden hose if it had been very hot and dry. And I did as little of this as possible because taking care of compost, while certainly interesting to me, is just not something I generally enjoy doing.

I really didn't pay much attention to it.

By the time spring came 'round again and I had a use for the stuff, I had plenty of it for the garden.

And this worked very well -- for me, on my scale, in my region, with my needs.

Therefore, I do not need to monitor my compost.

---

But not all composting operations are lazy. Sometimes, they are very active. And some operations are large enough (or the available space small enough) that real estate becomes a seriously-limiting factor.

And in these instances, optimizing the process to get higher-quality compost faster can become a very desirable goal.

Optimization of composting is not dissimilar to optimization of any other process, wherein: Having some good data is better than having no data.
The case centered around Apple getting paid $20B a year for Google search placement. How is being forced to sell chrome related to that?
That looks like it's the tradeoff; on the one hand, you don't need to write all the possible paths. On the other, you don't write any constraints either.

But isn't this what a lot of the work is right now for companies developing commercial AIs? Writing in the rules of what not to do? IIRC this is where Google's went wrong, in that they wrote explicit rules in their image generator to ensure the AI breaks free from the constraints of the input set and force it to create diverse characters, leading to e.g. a black Pope or asian Vikings.

It's like they have to say "do this. No not like that. No, not like that. Not like that either".
I recently started using Firefox Focus enabled as an extension in iOS Safari, and it works great as an ad blocker. The op site loads for me. Was a hn rec from another thread I think.

https://apps.apple.com/us/app/firefox-focus-privacy-browser/...
Space Station Raises Orbit Avoiding Orbital Debris
I'm not sure it's quite enough. By my calculation a change of one in the last digit corresponds to a move of about 1 nm. A water molecule is about 0.27nm across. I think you'd need at least one more digit.
"I could just read the last page or chapter to find out whodunnit, hmph, books!"
The irony of uploading it to imgur is not lost on me :)

I could host videos myself if I still had a 2 gigabit connection but that was left behind in my most recent move.
I'd have a visit at 6 AM..
Regarding – and, Well, Against – Substack
Separate compilation. Of course, if your compiler is fast enough to rebuild the whole universe in 6 seconds and then rest on the seventh — an approach Wirth advocated in one of his papers about an implementation of Pascal system — you won't need a linker. But most compilers are not that fast.

Besides, there is more than one programming language, so that's something we have to deal with somehow.

And to be fair, merging modules in the compiler, as you go by, while not that difficult, is just annoying. If you link them properly together, into big amalgamated text/rodata/data sections, then you need to apply relocations (and have them in the first place). If you just place them next to each other, then you have to organize the inter-module calls via some moral equivalent of GOT/PLT. In any case, all this logic really doesn't have much to do with code generation proper, it's administrativia — and logic for dealing with has already been written for you and packed in the so called "link editor".
In other more modern and civilized countries you could have gotten a free room and food for as long as they want
There is no such thing as international law. There are only voluntary agreements.
Example of such a report:
https://youtu.be/Aa7Q2S7VWUk?si=bqmvmoUBvo0GN1tG
Weight loss is not "off label" for this drug.
There's a difference between being able to memorize what a square root is and being able to do math - which to mathematicians means being able to organize a proof.

I've found that the people who most believe in math being a genetic ability are the ones who do not work in the symbolic world of modern math, but in the semantic world of whatever the field the math describes is.

The two are rather different.
> This is why techniques like nonviolent communication, dialectical behavior therapy, and mindfulness have observation and introspection as a core facet, because it’s something that you have to consciously practice to become good at rather than something you’re born with.

I now tend to think that consciously observing and uncovering what you already are is really the start and end of it. One ought to try to concentrate oneself, rather than dilute oneself into something one is not. One might want to be a billionaire technologist, or sports hero, or whatever, and one might even edit oneself into something approximating that (via mentors, diligent study or whatever), but one will remain unfullfilled - for how is it possible to 'lie to' and be 'right with' oneself?
State of art on state estimation: Kalman filter driven by machine learning
That's one of the reasons, to curb piracy. However the bigger is that they need a recurring revenue, because programmers need to be fed while they're working on a release and bringing a new one from the wild is expensive and takes time to get meaningful code from them.
Embracing the Joy of Missing Out (JOMO)
Ive heard this repeated on the BBC before, but it isn't true, at least not for my driving lessons 2 decades ago. I just got told everytime to look over my shoulder for cyclists before opening the door. But never have I heard of anyone being taught to specifically open their door with their right hand
Which country does this?
Are there really any countries that actually do this? I'd be curious to see examples of this happening.
We continued this discussion and the OP actually meant that they write tests first and then use those tests to help them write code.

However what they said was they write code then send that to an LLM to generate tests.

There’s no other way to interpret what they wrote. There’s no way to get “I write tests using plain English and an LLM, then use those tests to help me write code from “I write code, I send that code to an LLM to generate tests, those tests give me a satisfying series of green checks”.

This is a case of the OP writing something that is close to the opposite of what they meant and you can’t reasonably iron man that to get to a stronger position for them.

I get that my wording was too harsh, but I estimated a 50% chance it was actually satire.
(this keyboard does not appear to be QMK-based, but for the record) any keyboard that runs QMK (an open-source firmware for keyboards) will offer the same experience. web-based configurator and full linux support.
Love the promotion of cheating features in gaming devices! /sarcasm
This article approaches human psychology from the perspective that, we are all neural networks and our output (actions) are all a learned function of our inputs (experiences).

This is a common (and convenient) perspective, especially among engineers, but doesn't reflect reality particularly well. We know large swathes of a person's personality is directly linked to their genetics.

The article extrapolates this neural network perspective onto other topics like, mental disorders and depression. The solution is made clear then - just learn how to not be mentally ill! Again, convenient. But not really reflective of reality.
Even amongst traditional calorie deficits, rapid weight loss results in greater loss of muscle mass when compared to gradual weight loss, even if you lose the same amount of mass overall. I.e. you keep more muscle losing 0.5 lbs a week over 40 weeks than 2 lbs a week over 10 weeks.
The letter was the formal response
>>>Losing a lot of lean mass is incredibly detrimental to your longevity and quality of life.

While true, its also true that if you manage to lose substantial fat in the process, it leads to longer and better quality life
Would this work for something like linear algebra? Could it support multiplying two 3x3 matrices where each cell can have a different dimension, and only work if they are compatible?
Just like code bounties might sound like a good idea on paper, rewarding ethical hackers with huge amounts of cash would undoubtably result in rapidly diminishing returns.

While they absolutely could / should have rewarded him with more than a lousy t-shirt. I suspect they aren't keen to encourage a bunch of random people to try and poke holes in their security with the expectation of a cash price.
Note this was from 2021 (I remembered reading this a while back), but it's not in the title.