skysight-inc/HackerNews huggingface dataset:
So this is just saying that the phase of the moon is the day mod 29.53, starting from a new moon on 2000-01-06. That's about a minute off the actual mean length of a lunation - I guess the error from that approximation is less than the approximation in your "varies significantly"?

(For what it's worth - 29.53 * 300 = 8859 exactly, and 2000-01-06 + 8859 days = 2024-04-08, and I am quite sure there was a new moon on the latter date because of the solar eclipse.)
you are correct

https://www.youtube.com/watch?v=tVq1wgIN62E
Secure Boot protects against booting a kernel image that's been tampered with. If the running kernel is vulnerable to root-level exploits, it can't help you, but it can prevent a malicious attacker from switching a trusted kernel for a malicious, modified copy.
I think the biggest difference is our focus on search quality, and being willing to spend a lot on compute to do it, while they focus on systematic extraction of data from existing sources and on being fast. It's a bit of an oversimplification (they of course have search, and we also have extraction).

Feature-wise, we definitely have a lot of work to do :) What crucial pieces do you think we're missing?
That's not Java's fault though. IntelliJ IDEA is also built on Java and runs just fine.
This has always driven me nuts about Google Maps too.

Contrary to what some PM apparently believes, nobody taught me kilometers on the plane.
Absolutely. Look at all of the changes to the media stack Microsoft made for Vista and none of them are to directly benefit the person who bought the OS license. If you have ever wondered how a 486 could play MP3s and still run X but your modern laptop gets hot and spins the fan when you are playing those same MP3s it is because the media companies demanded it.
I'm here with mobile Firefox and HN is abreviating the display of those links so they are ACTUALLY identical on my screen.
Decaf that I buy is more expensive. It is the grocery store brand and looks identical to the regular bags they sell for a similar price but on close inspection you will find the decaf contains ~9oz net weight and the regular is 12oz net weight.
> Theorem proving is a single-player game with an insanely big search space, I always thouht it would be solved long before AGI.

This seems so weird to me - AGI is undefined as a term imo but why would you expect "producing something generally intelligent" (i.e. median human level intelligence) to be significantly harder than "this thing is better than Terrence Tao at maths"?
And just because it is on the list does not mean it is not safe to eat, its not a great list. Coprinopsis atramentaria for example is perfectly fine to eat as long as you don't wash it down with whiskey; it contains coprine which when combined with alcohol produces symptoms much like those of a heart attack but without the heart damage. A fairly tasty mushroom if young but in these parts when you find Coprinopsis atramentaria its cousin the Shaggy Mane is probably close by and a much better meal.

There are a few others on the list which I believe are edible when prepared properly but don't have my books at hand to check the details.
Absolutely, but they also represent more than just commercial cooperation.
Unfreezing LLMs with Wiki Power
This is really helpful. I’m doing pour over, and I tend to use lower temperature water, so it sounds like I’ve got some leeway.
You should definitely check out Understand https://scitools.com/features, if you haven't already.
So... more vaporware? :( Whatever happened to that new voice interface they "announced" back in May? I wish companies would stick to "releasing" things rather than "announcing" them...
I don’t know what axe you have to grind, but TypeScript is firmly in the hands of the community now. There’s not much Microsoft could do to change that. In what way would it be rent-seeking?
Anything similar to winamp for macos? Better if open source
Thanks for sharing!!

Would be really helpful if you opened an issue in Github with a specific example, happy to look into that!
> For example a common union type is number|string

So that's like my beloved Perl then.
Yeah. Depends—fancy upper-middle-class and higher private schools are like that. The majority aren’t that sort, and both pay and perform on a similar level to public schools, if not worse. But the good ones, the ones people really think of when they say “private school” (but not the actual majority of such schools) do pay better and often have really good perks (the PTA-equivalent Christmas and end-of-year gifts you get at some private schools—damn!)

As a bonus, private schools are usually way more willing that public schools to tell annoying parents to get bent. Which is a pretty big perk on its own.
They are 100% accountable for paying the bill from their electricity provider.
how does equity in privately held companies work? I get that some share provide voting rights, but that's not generally what to employees.

when the people in the article cash out their ESOP shares to buy a house... who's on the other end of that deal to buy those shares? is it some other employee? Wouldn't that mean that money is just switching hands between your employees rather than helping all your employees get rich?

related: i exercised some options for a startup that i used to work at a few years ago. they're now >10 years old and financially healthy, but no IPO in sight. what's the point of those shares if there's never an exit?
The meaning is comically vague instead of just "used" "want to use", and also frustrating is they never allow sorting by admired for some reason.

Edit: What do these words even mean in this context? It is so unnecessarily confusing.

Admire - to feel respect and approval for

Desire - an inclination to want things

Why pick these 2 similar words... that don't match up with the survey question:

"Which programming, scripting, and markup languages have you done extensive development work in over the past year" - so popularity? (what if you don't admire it?)

"Which do you want to use" - desire

The mouse-over seems to be sorted by the blue "Desire". But the list looks similar to a popularity list, except Go and Rust are above C#, C++, and Java.

What is going on?

Edit 2: The question does not directly map. A request to Stack Overflow, just label them:

"Used and want to keep using"

"Haven't used but want to"

As a programmer reading charts, precision and clarity is better than ambiguity.
+1; does not load for me using Firefox on MacOS.
I hope they at least donate...
It's been discussed here before, some people (myself included) find it easier to navigate when the map is always rotated north up.

In other words, it's easier to figure out which way you're going and keep your "internal" navi in sync with the app.
Legally, this is very feasible. Here in Sweden we have two laws which are applicable: the law against unauthorized surveillance and the law against unauthorized computer access and the law forbidding aiding anybody in such crimes.

It's only two year's imprisonment, but there's presumably a lot of participants in the exploit development etc.
A partition that leaves you with no quorum anywhere is like the cloud being down if you value consistency over availability.
Multech (multech-pcb.com) is my preferred manufacturer these days for high end stuff. I've done six layer HDI any-layer via stackups, ten layers with filled via-in-pad, RO4350B, TU872SLK, flex, 75 micron trace/space, etc. And that's nowhere near the limit of their capabilities, I just haven't needed higher end yet.

I have some 25/100G stuff in the pipe for probably some time next year that I plan to make with them too.

Their website undersells, I get the impression most of the actual sales contacts are word of mouth. I talk to my sales rep by skype mostly (the alternatives are expensive international phone calls or wechat).

The really cool thing is that you get a 10+ page QA report with every order including measured copper/dielectric/soldermask thicknesses, hole sizes, ionic contamination measurements, and a ton of other metrics. And they send the TDR strips and polished cross section with every order as their way of saying "look, we actually did the QA, double check our measurements if you don't trust us". (I actually have repeated some of the measurements to spot-check and got results within a few percent of their QA department, no surprises there).

And they don't make silent gerber changes or anything. They do a full CAM review and send you working gerbers and a list of suggested DFM tweaks for you to sign off before beginning manufacture. If something doesn't look right you have a chance to say "wait there's a problem".

For example, one time they wanted to make a really large width adjustment for impedance on some RF traces that I had carefully modeled in an EM solver. But they didn't make a bad board without telling me, they flagged it on the CAM review and we went back and forth before realizing the mistake was on their end (they had calculated impedance assuming solder mask over the traces, while they were actually exposed copper). They re-ran the numbers which then closely matched my simulations, I signed off on the modified design, and the board was manufactured without issue.
> it can prevent ... switching a trusted kernel for a malicious, modified copy.

Or a free OS.
Scientists design method to lessen reliance on air conditioning
maybe this is one of the problems:

https://www.wolframalpha.com/input?i=combined+net+income+of+...
VMs are awesome for what they can offer. Docker (and the like) are kinda a lean VM for a specific tool scenario.

What I would like to see, would be more App virtualization software which isolates the app from the underlying OS enough to provide an safe enough cage for the app.

I know there are some commercial offerings out there (and a free one), but maybe someone can chime in has some opinions about them or know some additional ones?
wait, were these students from an Ivy or Not?
A robot arm is fun, I assembled a 6 DoF one with metal parts and hobby servos that cost around £70 if I recall correctly.

I find it kind of interesting how because hobby servos are used, which don't have encoders on, when you turn it on and set the servo positions it jerks into life.

The problem I find with mine, is that all servos are the same, I think ideally the bottom servo needs more power. I need to try slightly higher voltage though too - I think I can use up to ~6V.

I controlled mine with a Python + a PCA9685 I2C PWM driver module - https://www.amazon.co.uk/gp/product/B014KTSMLA/
But that comes _after_ you have chosen VMs over Containers yes?

If you are using VMs, I think NixOs/Guix is a good choice. Reproducible builds, Immutable OS, Immutable binaries and Dead easy rollback.

It still looks somewhat futuristic. Hopefully gets traction.
>that is, perhaps, basic human intelligence is covered by language.

It isn't. That's why LLMs are still terrible at basic reasoning tasks. The dataset doesn't contain the human intelligence, just the end results. Nobody is training their LLMs on brain scans.
I was part of a EU commission project once to define a metadata standard for sharing of cultural assets. It consisted of developers and managers for many different companies that were active in the cultural sector.

The end result was an abomination, in which every company fought to have a little bit of their tech included in the final specification.

I can't imagine Gaia-X being any different. To be honest, most members are probably in it for the same reason we were - free money.
I as someone with a maths degree but who hasn't done this kind of thing for half a decade, was able to immediately guess the solution to (1) but actually proving it is much harder.
Bill Ackman Wants Less Money
+1 for FIRST. This is your path as it is structured and can also help your child build friendships with other kids interested in robotics.

Additionally, participants who stick with the program through high school learn every aspect of robotics - problem solving, design, fabrication, testing, coding, presentation, teamwork, etc.
Can you restore OpenStreetMap's attribution? (https://www.openstreetmap.org/copyright) or mention both?

"base-raster": {
type: "raster",
tiles: ["https://tile.openstreetmap.org/{z}/{x}/{y}.png"],
tileSize: 256,
attribution: "<a href='/info' target='_blank'>MORE ABOUT ROADWAY.REPORT</a>"
}
> people who don't want to "wire up" schematics but attach named nets to every component and then draw boxes around them

Lol there are a few things that I am highly intolerant of and this is one of them. The only place where I'm generally ok with that approach is at the input connectors, the microcontroller, and the output connectors. Same philosophy as I said before though: "if it brings clarity draw it as a wired up schematic; if it turns into a ratsnest use net labels to jump somewhere else". Having every component in a separate box with net labels will generally obscure what's going on and just turns it into an easter egg hunt.
The README suggests for easier typing in interactive use.
This is pretty funny, it seems to work with random foods, iFixit doesn't seem to have anything to do with it.
>If you wanted to implement a perfectly-efficient system, would that mean banning the fulfillment of any desire that wasn’t strictly a need? I don’t think anyone would want to live in such a system.

Holy mother of slippery slopes x) Do you think $current_economic_system can be improved? Ah so you want to ban fulfillment of any desire? Sheesh
Platform keys can be replaced given physical access to the computer. In fact they can generally be replaced by regular UEFI updates.

The problem here is in trusting, nay expecting, your average motherboard maker to either know anything about key management or give a shit about key management.
The only winning move is not to play. AMI should never have distributed test certs to begin with. Give your customers instructions on how to generate self-signed certificates (assuming they are accepted) or setup a dev CA that will sign test certificates. Then the damage from a key leak is limited to one vendor.
I live in an area served by Southeastern and have plenty of non-Southeastern transport options.
I think there's a reasonable motivating example at https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html, but not a reasonable implementation. A reasonable implementation for C is at https://github.com/creationix/libco and for Zig at https://github.com/rsepassi/zigcoro.

For a real world example, https://github.com/alexnask/iguanaTLS is a TLS library written in terms of the stdlib's reader and writer interfaces. If the read and write methods of the provided reader and writer are normal, non-async functions, then the library's functions are too, and they can be used in a program that does not have an async runtime. If they are async functions, then the library's functions inherit this property, and they can be used in a program that uses async I/O. They could also be used in both modes in the same program, though I can't think of a good reason to do this. Normally in Javascript the consumers of your library would all be imprisoned within an event loop provided by node or the browser, so there would be no point exposing a synchronous variant, but for example see https://nullderef.com/blog/rust-async-sync/ for someone's experience trying to write a library that exposes the same functionality both ways in some other language.
HP business PCs ship with SureClick based on OSS uXen, https://news.ycombinator.com/item?id=41071884
https://archive.ph/dDJmL
I wrote a reply but you edited out the chunk of text that I quoted, so here's a new reply.

> After all, the users device will never even see the final DOM now. instead it's getting fetched, parsed and processed on a third device, which is objectively a robot.

Sure, but why does it matter if the machine that I ask to fetch, parse, and process the DOM lives on my computer or on someone else's? I, the human being, will never see the DOM either way.

This distinction between my computer and a third-party computer quickly falls apart when you push at it.

If I issue a curl request from a server that I'm renting, is that a robot request? What about if I'm using Firefox on a remote desktop? What about if I self-host a client like Perplexity on a local server?

We live in an era where many developers run their IDE backend in the cloud. The line between "my device" and "cloud device" has been nearly entirely blurred, so making that the line between "robot" and "not robot" is entirely irrational in 2024.

The only definition of "robot" or "crawler" that makes any kind of sense is the one provided by robotstxt.org [0], and it's one that unequivocally would incorporate Perplexity on the "not robot" side:

> A robot is a program that automatically traverses the Web's hypertext structure by retrieving a document, and recursively retrieving all documents that are referenced. ... Normal Web browsers are not robots, because they are operated by a human, and don't automatically retrieve referenced documents (other than inline images).

Or the MDN definition [1]:

> A web crawler is a program, often called a bot or robot, which systematically browses the Web to collect data from webpages. Typically search engines (e.g. Google, Bing, etc.) use crawlers to build indexes.

Perplexity issues one web request per human interaction and does not fetch referenced pages. It cannot be considered a "crawler" by either of these definitions, and the definition you've come up with just doesn't work in the era of cloud software.

[0] https://www.robotstxt.org/faq/what.html

[1] https://developer.mozilla.org/en-US/docs/Glossary/Crawler
It would be hard to sell bicycle helmets made out of cardboard and nails, so no collective recognition is necessary.
https://ionica.app/

Not open source, but it’s the closest I have come to Winamp. It’s really good!
Where can I read about your project or hear your tangent?
High efficiency "search" is necessary to reach AGI. For example, humans don't search millions of potentially answers to beat ARC Prize puzzles. Instead, humans use our core experience to shrink the search space "intuitively" and deterministically check only a handful of ideas. I think deep-learning guided search is an incredibly promising research direction.
I'm actually in this exact position right now. The vast majority of the time I write in TS but I have a need to process a whole lot of data so I went for Rust instead. Java is too much of a headache for me, personally
Ok but if you read the actual solutions they aren't a bizarre mess of brute force.

They look like what a human would write if they were trying to come up with a formal proof (albeit it does some steps in a weird order).
Doesn’t work on safari mobile
Also things around physical access: if you steal my laptop, FDE prevents you from getting my data immediately but if you install malware which takes over the boot process, you get that data as soon as I type in my password.

If the process changes so the hardware only loads signed firmware, which only loads a signed boot loader, which only loads a signed kernel, etc. that avenue of attack is closed. It also makes it possible to trust a used computer.

The problem is that other than Apple nobody has really been committed to doing it well - it’s begrudging lowest-bidder compliance and clearly not something many vendors are taking pride in.
If you want to do great things, do them
outside of work. Side projects, open source, etc. Keep your job to pay the bills, maximise salary and minimize working hours.
JPEGs and 3D models are also executable binaries. They, like model weights, contain domain specific instructions that execute in a domain specific and turing incomplete environment. The model weights are the instructions, and those instructions are interpreted by the inference harness to produce outputs.
fear and planned obsolescence; "all these old things are bad... never mind it's only a day old. throw it away already, and buy the new one. no discounts!"
Yes, it is unfair. If we have all this great automation and AI, why is this necessary?
Many of these comments are about robotics as it's taught now, focusing on code and cameras and algorithms and motion planning.

As someone who's built both BattleBots and Professional Robotics for work, BattleBots is a great way to get out of equations and hands on fabrication, manufacturing, testing, and scrappiness that is so hard to reach in mechanical and electrical engineering. And unlike FIRST or Lego robots, it's much more open ended and "guardrails off" engineering, which I found really freeing from the tyranny of academic-style competition robotics. You can still incorporate all the sensors and algorithm-stuff (many folks build their own motor controllers like "brushless-rage" or have sensors like Chomp), but if you just love seeing things move and love mechanical design, it's a great thing.

For BattleBots in particular, the easiest way to get into it is to find some guides online for a simple bot[1] with DC motors and a 3D printed body, and just enter it into a local combat robot competition! You'll learn the basics of a motor, speed controller, selecting wheels and other interfaces, as well as designing a chassis and fabricating it. At a competition you get the thrill of the fight, and afterwards you can sweep your robot scraps into a dustpan, make friends with other bot builders and go from there.

[1] A quick search on instructs Les and I found this, though there are many more great robot tutorials: https://www.instructables.com/Naked-Singularity-Beetleweight... . Here is one that overviews all the basic steps in a BattleBots https://www.instructables.com/How-to-design-and-build-a-comb...
jsdoc is a format for supplying types (and annotations) as comments as well.

I think I get the distinction you're trying to make, but I don't think the nuance there is significant enough to merit differentiating the two.
Sure, you can use Canadian Aboriginal Syllabics!

https://www.reddit.com/r/rust/comments/5penft/comment/dcsq64...
OpenAI announces a search engine called SearchGPT; Alphabet shares dip
My intuition tells me we humans are generally very bad at math. Proving a theorem, in an ideal way, mostly involves going from point A to point B in the space of all proofs, using previous results as stepping stones. This isn't particularly a "hard" problem for computers which are able to navigate search spaces for various games much more efficiently than us (chess, go...).

On the other hand, navigating the real world mostly consists in employing a ton of heuristics we are still kind of clueless about.

At the end of the day, we won't know before we get there, but I think my reasons are compelling enough to think what I think.
Yep: https://incenp.org/notes/2020/tpm-based-ssh-key.html
They said the incorrectly formalized ones are usually easier, so I assume they just hire humans to solve them in the old way until the AI is smart enough to solve these easier problems.
This was how I started with my son, who was also 10.
Have him learned Scratch from MIT, learn how logic is constructed in a program
Then I got him a couple of Snap Circuit kit. I know you said no kit, but this is just to learn basic circuit and electricity flow.
Then we used a Raspberry Pi to learn Python.
Once he's comfortable with Python a bit, I set up an environment to program micro controller, specifically the ESP32. I flash Micro Python on there and we started to program some LED string lights. Then control motors with H-Bridges.
After that, it's onto robotics and anything we can get our hands on. I repurpose a baseball pitching machine to launch pickleball, with bluetooth connectivity to boot! All with an ESP 32, I can control the speed and rotation of the ball, which the original machine only had one speed and no rotation.
It took my son about 2 years to get from zero to building robots.
Good luck!
Can you cite this, please?