skysight-inc/HackerNews huggingface dataset:
I saw a lecture from the author of the first DNA computing paper ( https://en.wikipedia.org/wiki/Leonard_Adleman) in '94. We pulled him into a room after the talk (because he was talking about scaling up the computation significantly) and walked him through the calculations. BEcause the system he designed required a great deal of DNA to randomly bind to other DNA in a highly parallel fashion, you'd need enormous vats of liquid being rapidly stirred.

Like other alternate forms of computing, the systems we build on CPUs today are truly hard to beat, partly because people are trained on those systems, partly becaus the high performance libraries are there, and partly because the vendors got good at make stupid codes run stupid fast.

At this point I cannot see any specific QC that could be used repeatedly for productive work (material simulations, protein design) that would be more useful than a collection of entirely conventional computing (IE, a cluster with 20K CPUs, 10K GPUs, 100PB of storage, and a fast interconnect). Every time I see one of these "BMW is using a quantum computer to optimize logistics" and look more closely, it's obvious it's a PR toy problem, not something giving them a business edge.
People hate the concept of Musk winning again, I guess.
We're seeing the mother's side of the story. That's the one side we're seeing.
> The Sealed-Bid auction should generate a price that is greater than or equal to the English Open Cry in all situations.

Not necessarily. In many sealed-bid auctions, bidders hope to win with a lower bid (often much lower) than they would if they were bidding against others in the same room. This is especially true if you have no idea whether anyone else is bidding on the item at all. I have placed very low bids on items in sealed-bid auctions for things I had no immediate need for, but would happily pay for if the cost was very low (and I have won many such items, sometimes because no one else even bid on them).
True, but it dissuades folks from using directional signals, broadcasting RF energy in more directions and increasing the noise floor for everyone. I feel like there should be some sort of middle point here.
>A microtheory (Mt), also referred to as a context, is a Cyc constant denoting assertions which are grouped together because they share a set of assumptions

This sounds like a world model with extra-steps, and a rather brittle one at that.

How do you choose between two conflicting "microtheories"?
I just ask o1-mini the first two questions and it got it wrong.
Probably not that easy in a country as divided as the US. Many actions will be hated by 50% of the country whichever way you go.
Meh. There's a long history (especially here on HN) of hyperfocusing on unfortunate edge cases of technology and ignoring the vast good they do. Someone posts some BS on twitterface and it leads to a lynching - yes, bad, but this is the exception not the rule. The rule is that billions of people can now communicate directly with each other in nearly real time, which is incredible.

So call me skeptical. Maybe the tech isn't perfect, but it will never be perfect. Does it do more harm than good? I don't know enough about this product, but I am not going to draw a conclusion from one lawsuit.
Maybe it should've said "is a method of storing" instead of "for". It would make it clear it's not talking about a procedure, but a way or manner of doing something.
EmacsConf2024 Talks
EmacsConf2024 was last weekend, and they have uploaded the talks online.
For what it's worth, there's only one CV in all of history that I can remember: the "My Little Pony" themed one that went viral around 2013.

When getting feedback about my CV from coworkers, my impression is that very few of the people who personally interviewed me ever read my CV before hiring me — recruiting websites like LinkedIn, Xing, talent.io, honeypot.io genuinely seem to have replaced the CV in many cases.

(If you're wondering how I managed to get that kind of feedback from those specific people, it's all the times places have run out of money or the investors wanted a completely different direction with no iPhone app).
Of course, but that doesn't make the title less misleading.
Martians!
Hymba: A Hybrid-Head Architecture for Small Language Models
Different developers entirely; The main people behind OpenLoco are the same as behind OpenRCT2; There's almost no crossover with OpenTTD.

Also we've never heard of this agreement.
Why are they not being shot down at the very least?
Fuck, that's awful. I didn't know why they were so hated and now I do.
Bit concerning that no government agencies have figured out what’s going on, but hardly seems like there is a reason for a limited state of emergency given there is no known threat at all.

My guess is a US company is gathering data and hasn’t admitted to do so without some type of licensing/etc
Comments moved to https://news.ycombinator.com/item?id=42379383, which was posted earlier
You should not put any weight on surveys like this.

I'm an ML/AI researcher. I get similar surveys regularly. I don't reply, neither do my colleagues. The people who reply are a self selected group who are heavily biased toward thinking that AGI will happen soon. Or they have a financial interest in creating hype.

Most of the experts from that report have a direct financial benefit from claiming that this will happen really soon now.
Seems like an opportunity for a training exercise. Have the FAA put a TFR in place and let the national guard interdict, ECW and such. Take control, land it in the x-ray scanner, check for explosives then take it apart and get telemetry data. The US taught Ukraine how to do this with great success. If no joy on ECW, disassemble them in the sky.

If the drones were legit they would be broadcasting their ID as would the controllers and they would be within visible range unless they have the approved part 107 on file or part 107 waiver and approval for long range drone usage.

If these are not really drones and it is just mass hysteria the national guard would rule that out rather fast. As a bonus there is no added cost to the tax payer aside from the small fuel expense to route around the TFR which pilots are accustom to. This is just swapping out one training exercise with another.
Really cool, and impressive open source models can do this.

Can speak only to myself, have definitely noticed videos, gifs , etc that highlight the product im much more likely to engage with.
Reflexive contrarianism runs amok in these parts. It’s pretty pathetic.
My first thought as well. I feel there's a catch I'm not seeing, someone tells me I'm going to get ETF returns for only 12$ a year, no year over year percentage cost of any of it? Seems like this can only work up to a point where their subsidized investment last.

So I need to know how do they plan to sustain that, and will it come at my expense?
There was nothing rudimentary about Folding@Home (either in the MD engine or the MSM clustering method), and my paper on GPCRs that used Folding@Home regularly gets cites from pharma (we helped establish the idea that treating proteins as being a single structure at the global energy minimum was too simplistic to design drugs). But F@H was never really a serious attempt at drug discovery- it was intended to probe the underlying physics of protein folding, which is tangentially related.

In drug discovery, we'd love to be able to show that virtual screening really worked- if you could do docking against a protein to find good leads affordably, and also ensure that the resulting leads were likely to pass FDA review (IE, effective and non-toxic), that could potentially greatly increase the rate of discovery.
I don’t think anyone has the tools to go to an area after a spotting and capture/destroy them quick enough.
sqlite3 is 1.6MB while limbo is 6MB, size matters for many low-end but huge-volume embedded boards.
Comments moved to https://news.ycombinator.com/item?id=42379383.
A phased array is capable of "beamforming", that is, sending an electromagnetic signal most strongly in a specific, programmable direction, as opposed to broadcasting the signal in many or all directions.

EIRP is a measure of the maximum power in any direction, so a phased array that transmits 1W only forward has the same EIRP as an omnidirectional antenna that transmits 1W forward, but also 1W backward, and up, and down, etc. Overall the omnidirectional antenna may transmit much more power total, but still only 1W in any particular direction.
No, the results would be worthless only if your threat model were significantly different than the one that Mullvad was operating under. In which case, having the threat model detailed explicitly is already valuable to you.

For example, this X41's threat model only supposes that an attacker could execute code on the system as a different, unprivileged user. They don't consider the situation where an attacker might have an administrative account on the system.

For my personal devices today, this matches my threat model. If an attacker has an administrative account on my machine, I assume that my VPN isn't going to be able to protect my traffic from them. There's no need to worry about laying out all the ways this could impact Mullvad's client.
Unrelated to the OP product but I’m curious how people are solving this issue on smaller scale with nextjs + prisma/drizzle. Do you just run the builtin migrate script with npm run?
EIRP is good at reducing uintentional interference. After all, you'd probably wouldn't like me pointing a 20 element yagi antenna through your house, denying your ability to use the spectrum in a reasonable manner, just so I could do a point-to-point fixed link.

EIRP minimizes regulations. It's a good trade-off over operator and installation licencing.
You have dozens of apps (modules) each having its own models.py with a handful of models.
Rosenworcel Shares Mobile Carrier Responses to Data Privacy Probe (2022)
I thought the probe and subsequent responses were interesting insofar as they demonstrate carriers' handling of user location data and Call Detail Records.
I’ve thought about the proposed solution before (spoiler: the author proposes to store the user’s intended date/time AND the TZ qualified date/time.)

The problem is that, except for UTC, any timestamp relating to a user’s intention must ALSO store a geolocation. Dinner at 6pm? Great! Where (on earth)?

And I’m not sure what to make of storing a TZ qualified timestamp AND a non-TZ qualified timestamp. I’m not sure what problem that solves or how to reconcile if they differ.

I’m still in the “store as UTC” and be very careful about disambiguating at creation time.
It has been used a few times by people who had a Google Play app banned, that sometimes the personal account would get banned as well.

https://www.xda-developers.com/google-developer-account-ban-...
Previous Gemini models worked really well for video, and this one can even handle steaming video: https://simonwillison.net/2024/Dec/11/gemini-2/#the-streamin...
Modern MIMO is about utilizing the combined channel efficiently, not necessarily beam forming. In most cases you can still extract more capacity from a channel with two or more antennas within the same EIRP envelope as a single antenna.
https://news.ycombinator.com/item?id=42382829 links the paperwork including a PDF discussing that
With all of this praise Rails is getting, even still in 2024, it’s mind boggling how there was never a successful Rails alternative in one of today’s popular web programming languages. Nothing ever caught on.
Run Swift in browsers – SwiftWasm compiles your Swift code to WebAssembly
It's weird to me that folks think NVDA is just sitting there, waiting for everyone to take their lunch. Yes, I'm totally sure NVDA is completely blind to competition and has chosen to sit on their cash rather than develop alternatives...
Had a horrible time with Github copilot personally. It just wasn't 'smart' enough and I felt I ended up double checking more than I would like.

Recently started using Cursor compose. It really good and generally makes me code a lot faster. But I have noticed that you have to ensure its following best practices.

For example, if you are writing some React code, you really have to ask it to break up components into files / sub-components, otherwise you end up with a 1000 line long file
> The prosecution also acted unethically by not informing the defence that they received protected communications, they weren't entitled to.

This is a flat-out lie.

https://www.nextpoint.com/ediscovery-blog/alex-jones-ediscov...

"For example, why didn’t Mr. Jones’ attorney take advantage of the 'snap-back' provision in the Texas Rules of Civil Procedure (Rule 193.3) and assert a privilege on the text messages within the 10-day prescribed period? We know from court filings that Plaintiff’s counsel (Mark Bankston) sent an email to Mr. Jones’ attorney (Federico Reynal) shortly before midnight on July 22, 2022 stating, 'My assumption is now that you did not intend to send us this? Let me know if I am correct.'"

"All Mr. Reynal had to do was 'identify the material or information produced and state the privilege asserted,' and Mr. Bankston would be required to 'promptly return the specified material or information' and would be prohibited from using it in court."

(Of note: Jones' attorney faced, but dodged sanctions over this. https://www.law.com/ctlawtribune/2023/01/20/alex-jones-texas...)

> Also, just because he mentioned Sandy Hook in a text message with his lawyers, or privately, doesn't mean the prosecution is automatically entitled to it.

Your own clip shows he lied under oath, stating he personally searched the phone for "Sandy Hook" and got zero results.
Nobody hates Flavor Flav.
It could be true. But pearls are rare and storage is expensive.
Jacob Barandes is a professor of physics at Harvard (not a crank).

He recently did a great podcast with Kurt Jaimungal [1]. In the interview he explains that every year he searches for a good way to introduce his students to quantum mechanics, and every year he's ended up being unsatisfied with the approach and started again.

One year he decided to attempt describing systems with traditional mechanics, using probabilities (stochastic mechanics). He worked at it and worked at it, assuming that he would eventually have to take some leap to cross the chasm into the world of gauge theory, Lie Groups, and Hilbert spaces. What he found is, to his surprise, the math just seemed to fit together at some point. That is, he found a mapping, just as the path integral is a mapping into the math of the wave function, and it just kind of worked. He had been under the assumption that it shouldn't.

It turns out, that in doing his stochastic mechanics, he had used mathematical descriptions that were indivisible. That is once a given process began, it could not be sliced into smaller and smaller time slices. It had to complete and yield a result. This was what he called a non-Markov stochastic process. Apparently all previous attempts at this used Markov processes, which are divisible like Hilbert vector calculations or the path integral.

It turns out that things like "collapse" of the wave function, and all the quantum weirdness arose from how the math worked with the wave function and Hilbert space, not from anything intrinsic to the mechanics of the universe (at least that's what his equivalent math was telling him). So in his stochastic non-Markov model, there is no collapse, just decoherence. There is always a result, and the intermediate states (where all the quantum oddities live) aren't real.

He mentions being really disappointed at seeing all the magic of quantum mechanics just kind of vanish. From what he could tell, it was just a trick of the wrong kind of math.

[1] https://www.youtube.com/live/7oWip00iXbo
Judge Lopez was appointed by Trump, so I'd assume that he's acting under instructions. Why would Trump have appointed a judge who wouldn't do favors for him?
He then offered another buyout package with even more generous terms, with like a 4 hour period to accept it. People did, and then he said "yeah, um, we're gonna ask you to say on indefinitely because we're really short staffed"
I've heard this multiple times over the years. I offer an alternative explanation:

I always have uBO enabled with a bunch of extra rulesets for curtailing tracking and "annoyances". If I turn that off, I get weird behaviours in YouTube (and other sites). Re-enable it and I get back a smooth, reliable site.

Facebook, eBay, newspaper websites, Amazon, et al all demonstrate similar behaviour: slownews and broken behaviour without uBO, performant and reliable with.

Maybe it is coder bias unintentional or otherwise.

Or maybe it's the ever-bloating workload of user-tracking and ads causing problems.
Because the client often has actual knowledge of their design and the places where they want force to be applied to find weaknesses, because they're trying to evaluate the results with regards to specific outcomes, not every possible open-ended question you can think up. On top of that there is a reasonable limit in terms of time/money/staff/resources that can be spent on these kinds of audits, etc. For example, if you're using a cloud provider it's not like you're going to pay them infinity money to compromise GCP over the course of 9 months through a background operator compromise or some nation-state attack. You're not going to pay them to spend all day finding 0days in OpenSSL when your business runs a Django app. You're going to set baseline rules like "You need to compromise our account under some approaches, like social engineering of our own employees, or elevating privileges by attacking the software and pivoting."

It's mostly just a matter of having a defined scope. They could of course say "You can only attack this one exact thing" that makes them look good, but this is true of many things.

Defining the threat model is standard in the infosec auditing/pentest world, FWIW.

> If Mullvad dictated how to do things or imposed limits on the reach of the testing, the results are worthless anyway

That's only true if your threat model is "literally every possible thing that could ever happen", which is so broad to be meaningless and impossible to test anyway.

Computer programmers also do not typically design their programs under the assumption that someone stuffed newspaper between their CPU and heatsink and it caught on fire. They work on the assumption the computer is not on fire.
There's two similar but distinct function attributes for nullability. One affects codegen, one affects diagnostics only.
This seems like the US catching up with the EU.

The normal complaint about the EU's approach to regulation is that it's too vague and companies won't do business there in case they're found in breach of the vague laws.

In practice, at least on this subject, this just isn't a problem. I can't link to the directive that outlaws spam phone calls (it predates GDPR) but the telecoms clearly get told to stop facilitating them and yet I've never heard of a company that claims they were erroneously barred from the market.
I'm not American, but to me this looks like a preposterous take, when the Democrats had Cheney and a pile of other Republicans lined up in what looks more to me like a coalition than getting the endorsement of a bizarre personality-cult fringe candidate.
> Since we’ve made it easier to get guns than healthcare

This is such a great line! On the bright side, perhaps these big companies will now start lobbying for more reasonable gun laws.
Neat, but this looks very specialized for a single person's config. I wouldn't want to run this on my machine seeing as it removes apt sources and does a bunch of other system changes unrelated to installing a macOS guest.

https://github.com/luchina-gabriel/OSX-PROXMOX/blob/7ca3dc81...
https://github.com/luchina-gabriel/OSX-PROXMOX/blob/7ca3dc81...
https://github.com/luchina-gabriel/OSX-PROXMOX/blob/7ca3dc81...
Shooting large, apparently car-sized, stuff down over populated areas isn't a good idea.

As an aside, I presume at this point, the military and FBI are stationing their SIGINT aircraft over the area and probably have a good idea what's going on but aren't saying publicly. These things are emitting electromagnetic energy in more ways that one, eg. radios and electric motor RF signatures.

RIP the SkyCircles accounts on Twitter.
The Promise of Semantic HTML
In the general case, I think you might be right, although it's a bit mitigated by the fact that Rust does not have support for variable length arrays, alloca, or anything that uses them, in the standard library. As you said though, it's certainly possible.

I was more referring to that specific linked advisory, which is unlikely to use either VLAs or alloca. In that case, where stack overflow would be caused by recursion, a guard frame will always be enough to catch it, and will result in a safe abort [0].

[0] https://github.com/rust-lang/rust/pull/31333
You can get vectorized instructions from Microchip at a much higher price point in a few months on RISCV with the forthcoming $1500ish Devboard - it has some nice specs, 10GigE

https://www.microchip.com/en-us/products/microprocessors/64-...

This is similar to the High Performance Space Computer which will be coming out in Rad Hardened & Rad Tolerant versions, I think these devboards will be 40k-60k

https://www.microchip.com/en-us/products/microprocessors/64-...

There is also a lower end 4 core unit too, list price for the devkit is $150, currently shipping.

https://www.microchip.com/en-us/products/microprocessors/64-...
With a large enough antenna and enough power you can cook your neighbor.

The ham radio licensing procedure in the US mostly focuses on this effect. Even though there's nothing conclusive I'd imagine there are other deleterious effects that aren't trivially measurable. If it can heat it up it can do other stuff too. Cooking your brain by standing too close to a high power transmission tower can't be good.

I'm an amateur extra, I would challenge any "scientist" laughing EMF dangers off to go find the nearest AM radio tower and spend 6 months in the transmission room for "science".

Without sarcasm, the studies I have found over the years ruled out cumulative effects (unlike ionizing radiation). They so far haven't been able to rule out various types of cancer, ALS, or other diseases caused by long-term exposure.
Probably should be read as "bad actors", who, with enough samples of your voice, could theoretically do shady things like robo-call your mom, pretending to be you.
Not to mention that it's illegal to shoot down aircraft
Laravel and Django don't count?
The FAA looks down on people shooting at flying objects they can barely recognize, as this guy learned the hard way:
https://www.yahoo.com/news/retiree-shot-walmart-delivery-dro...
My anecdote:

I get no calls anymore, but I attribute it to pruning where my contact info is distributed and using the spam filters available on call/text.

My father got (no hyperbole) 90 calls a day, consistently, until I realized why he wasn’t answering his phone. He had used zero of the tools that the cell service provider and smartphone OS made available to him. Additionally, he likes talking to people, so he wouldn’t be “mean” to tell callers/testers to take him off their list.
I don’t mean strong as in weird and out there.

I mean strong as in I don’t believe his opinion will be easily swayed.
worked 100% identifying my accent
A practical question, beyond the questions of whose drones these are: what are they looking for?
Good reason to listen to courts the first time!
Very interesting. I am curious, how big is your community, and how did you advertise it to grow it to the point it is at currently?
And how many are active, i.e., how long does it normally take before your images have been ranked?

This reminds me of https://www.photofeeler.com/
read the room of the rest of the comments. also, i failed to see you used the funny font