skysight-inc/HackerNews huggingface dataset:
I suspect Five Eyes already has backdoors into Apple and Google and can remotely push compromised updates to specific targeted devices. How do you know the version of Signal you get from the App Store is the same as everyone else? Australia can compel engineers to implement backdoors, they can't refuse or even talk about it due to gag orders. They can then share that info with Five Eyes to bypass their own laws like they did with ANOM. Australia ran the operation specifically to bypass stronger privacy laws in the other countries. The Snowden leaks with PRISM, showing governments getting data straight from Apple and Google servers. Australia's latest encryption bill lets them force companies to give access to encrypted comms. Seems pretty plausible to me.
So when you get a rat infestation you leave them their bodily autonomy?
This is such a naive, black-and-white view of the world, I hope you get into a situation where this will be made extremely obvious.

Modern educated humans are so smart yet so dumb. The city dweller that has never suffered the relentless drive of nature to fuck with him (and instead, sometimes eat him) is quite a specimen.
yeah a good qa team is peace of mind.
It's much higher than 1.5x-2x, both scale up and scale out. Moving onto fp4 alone will offer a huge speedup.
Yep, the gambling / casino industry is largely responsible. And they have their roots deep in the political system.
>AVX-512 and other x86 warts

While seL4 runs on x86, it is not recommended.

Effort seems to be focused on ARM and RISC-V, particularly the latter.

An argument could be made that x86's baggage makes it a particularly bad fit for offering the sort of guarantees seL4 does.
I don’t understand why digital financial transactions are so heavily regulated and scrutinized while cash still exists. Governments have even basically soft-killed Monero which is pretty much the only way to get actual cash-like semantics digitally. Yet cash is still given preferential treatment over traditional digital payments.

I understand the rationale behind both camps ie “to prevent personal/tax fraud, money laundering, and cut off funding to terrorists we have to give up privacy” vs “personal privacy extends to transactions and the benefits justify the increased difficulty in fighting crime”. What I don’t understand is the inconsistency between physical and digital payments. Anybody committing crime can just use cash so why even bother with all the annoyances with digital transactions?

IMO we might as well outlaw cash because typical law-abiding citizens already have basically zero financial privacy, but are missing out on all the tax revenue and supposed safety from actually fully tracking transactions. The way I see it, cash right now basically only exists so that small businesses/individuals can cheat on taxes and to keep criminals on the USD.
Arxiv version here https://arxiv.org/pdf/2404.00411
There is always a specification, the question is "was this issue found against a version of seL4 that had been fully specified or not?".

I worked at the lab, I wasn't aware of any bug/issue on the fully specified kernel, that is why I am unsure if this counts or not.

I would need to have a look at the source code and proofs to confirm.
A lot of the people running these scams have been kidnapped and moved to lawless zones forced to scam people. They don’t really have the choice to do legitimate work.
xeyes for "finding my cursor" ;)
I don't have any example on the top of my mind but surely there is.

Matrix is a story were sentient machine use humans as feed for energy so not extra-terrestrial but somewhat close.
How robust will ML models be in the world of rapid climate change, where the past no longer predicts the future?
I've been using Proxmox on a few production servers for nearly 5-years (part of my COVID19 extra-curricular activities was migrating off the over-bloated VPSs I had been using). It's primarily hosting web apps, web servers, and dev infrastructure, and it's honestly rock solid from my (admittedly limited) perspective.
or from the LLM. It can't be super complicated to describe a logic schema to do a merge like that. It's just a business logic vs universal logic.
Notably, Apple joined the seL4 foundation, as they use it in several of their products: https://sel4.systems/Foundation/Membership/ (Not sure if they've stated publicly which, but it's been pretty well known for a while now).
It is on a large reservation in Arizona, the tribal government would have given them permission. They have a website.

https://www.tonation-nsn.gov/tribal-government/
noone recovers wastewater energy,

energy generated by big wastewater plants is methane from microbial activity. also waste water plant can not remove a lot of stuff like medicine, hormones...

you can construct wastewater tank with integrated coil connected to heat pump. so you can take all heat back. if you have house with integrated waste water treatment, this should be no brainer. houses with existing heat pumps can "just add another heat exchanger circuit"

but i do not personally like heatpumps because working fluid can be in orders of 10 000 times more harmful to greenhouse effect than co2. and compressors using CO2 as a working fluid are rare.

heatexchangers connected to vertical wastewater pipe are showed in tradeshows. but i do not understand how that makes sense price wise. im not sure they recover as much heat as advertised.
Real bummer the dilbert link in the story is broken, so much lost history.
Great list! Was hoping to see XPilot on there, that game needs to come back!
Treating your workforce as disposable results in the best leaving. Blind layoffs is horrible for retention.
Ah thank you I was not aware of that one.
I worked for an FFRDC on a DARPA project a bit more than a decade ago having to do with communication jammers. It was terribly managed. There were two projects going on at my organization that were basically the same thing but with two different PIs, teams, test beds, etc. We ended up wasting so much time and money doing non-R&D work with very little oversight from DARPA.

I honestly feel that US military money is thrown around like you said in such a fragmented way, that I can't imagine other countries NOT being an order of magnitude more efficient. It kind of reminds me of our healthcare spending and how much we spend but for such little ROI compared to other developed countries.
I'm glad it is Apple rather than Netflix.
There are words that add ambiguity to sentences, like “quite” and 「ちょっと」(chotto), but names of diseases are not that.
Designing the mouse so it is useless while the charging cable is connected means that if the battery no longer takes a charge the mouse becomes e-waste.
That's particularly weird because I think their meat is really not enjoyable at all. I have eaten just a piece of it once as a tasting of Spanish tapas tradition and I wouldn't want to renew the experience at all...
Ask HN: are "isomorphic" JavaScript frameworks secure? How?
Isomorphic frameworks are where the same code runs on the backend and frontend. Abstracting away the client/server relationship sounds like a bad idea to me. Is this really secure? Do people who start out using these frameworks have a higher risk of leaking something to the client that shouldn't be?
Ah, the "Quentin Tarantino presents" pattern. Nice.
I’m not exactly sure that I have an opinion about it. It seems like a nice tool and I bet it’s users really like it. Inputting math equations seem to be done primarily with the GUI interface, which is probably a fine way of doing it. My personal experience with math via GUI is trying it in office Math and it was fine, I quickly learned TeX personally and have preferred it over GUI input for most of my adult life, so I don’t really have an opinion about particular GUI tools, other than I’m glad they exist and that people can use them.
Chrome labelled sites as Not Secure if they didn't user https since 2018. Most people didn't like that label showing on their website address, so it was a clever way to shift everyone.

Years before that the free certificate authority Let's Encrypt was established (there are now several more), so for most people using https with your website is just configuration, not an extra cost. On top of that some http protocol versions are now https only.
Zapier MCP
Jesus, what do you mean the cable broke? The rope itself got cut? Even though the device didn't fail?

I'm really averse to the autobelay because I can't feel the "pull" of a human belayer, so this is a nightmare scenario for me.

Then again, I'm sure that the autobelay is safer than the average human, even so, except I really trust my belayer.
How to Make an American Job by Andy Grove (2010) [pdf]
What?? That’s such a specific thing to do!
Standards change and improved methods are discovered. In the 50s and 60s the "hip belay" was the standard and considered safe. Once ATC/tube style belay devices became ubiquitous, the "pinch and slide" technique took over. The "pinch and slide" technique you likely learned is no longer considered the safest method of belaying. The AMGA belaying technique is now considered standard and for awhile gyms would still pass "pinch and slide" users but I'm not surprised they have stopped.
You used the word do in both cases.
Placebos do have side effects, it's called the nocebo effect.
I've tried unsuccessfully to get Rebirth running (on either Windows or Wine). Any modern re-implementations?
This looks pretty anemic compared to what I've seen from XCP-ng or proxmox:

https://cockpit-project.org/guide/195/feature-virtualmachine...

Thanks for the tip, though.
My dangerous opinion is that the purpose of a company is to provide a living for its employees.
Mostly that it won’t meaningfully affect the factory farm and that it’s a small price to pay for increasing competition. Bird flu was a minor blip for factory farms they just used it as an opportunity to cut production and use monopoly power to increase profits
I love how I'm getting downvoted here :-D

Tariffs DONT make America rich, they make imported products more expensive to buy.

Then if and only if, they get so expensive that its cheaper to make them locally, they start industry to make them locally.

they're still more expensive than the pre tariff price, but they're now cheaper than the imported product.

I'm not arguing against tariffs.. just stating it like it is. and mocking the statement they current leader keeps repeating incorrectly.
>the long-suffering GNU/HURD team discovered;

HURD is Mach-based; it is stuck in a pre-L4 world and thus irrelevant to this conversation.

Very 40 years ago technology. Still better than ~60yr ago UNIX, although they're trying to ultimately be UNIX-like.

It is sad Mach and HURD still keep coming up in microkernel discussion.
Apple Working on Turning Watches into AI Devices with Cameras
Ah, yes. If you want to take advantage of piping commands together through the shell as a subcommand of your program, then a way to make params behave more consistently regardless of content is useful.
Climate is not weather.

Weather predictions are for specific events and areas, made on the order of days- typically no more than 2-3 weeks into the future.

Climate models predict future averages over large regions on the order of decades.

"rapid climate change" is on the order of "within this century". Whether the climate changes or not doesn't really impact the weather models at all, because the climate's not changing on the same time scale.
AI is not just pattern matching. Assuming they have some idea of initial and boundary conditions, they should be fine.
This list I think is from 1995 but with modern install methods. makes me think this is a 30 year old page that's being maintained.

I used xwpe for a few years in the 90s.
"Tomorrow will be partly cloudy, with a chance of hurricane."
Avoid Building a Security Treadmill
foo(){
//does bar
}
> Functional programming can express patterns just as well as OOP.

No! Patterns are just crutches for missing language features or "design patterns are bug reports against your programming language." GoF patterns are concepts useful in OOP, but the recurring patterns and architectures you see in other paradigms are totally different. And they don't apply to Lisp: https://www.norvig.com/design-patterns/ Most don't even apply in Go: https://alexalejandre.com/programming/software-architecture-...

> visitor is type switching, singleton global variables, command and strategy are first class functions with closures, state is building a state machine with first class functions

If you could perfectly compress your code, repeated patterns would be factored away. Macros do this. In Lisp, when you find a pattern, you write code which generates that pattern, so you don't have to.

https://mishadoff.com/blog/clojure-design-patterns/

> if patterns are discovered, arise out of independently invented idioms

Yes. That's the point behind Christopher Alexander's pattern concept - he found architectural patterns which seemed to promote good social habits, happiness etc. Gabriel's Patterns of Software presents this far better than GoF. I strongly suggest you read it: https://www.dreamsongs.com/Files/PatternsOfSoftware.pdf
Show HN: TextaVibe, Receive music links based on your mood and schedule
Here is my thought why I'm building this: https://textavibe.com/blog/adding-music-to-daily-routine

I'm looking for people who is interested in my product, TextaVibe. It's a service that sends email at specific time and day.

I was building this for my own use, however I thought it could help someone who needs it.
Now I've opened a waitlist to find people who are interested! Feel free to ask me anything.
(2024) discussion more than a year ago (82 points, 95 comments) https://news.ycombinator.com/item?id=39543281
Now you can upgrade to cat clock!

What I once used at work was XScreenSaver, getting a lot of admiring views/comments from passers-by.
In my opinion, you've grossly mischaracterized and misunderstood the bitter lesson. The bitter lesson is not saying that brute force will win out against better algorithms, it's saying that simple, efficient algorithms, in a theoretical sense, will win out against intricate and specialized algorithms.

That is, it's saying that worrying about the constant factor in the "big-Oh" is doomed to failure. My reading is that it's not saying that we should abandon polynomial time algorithms in favor of exponential ones, it's saying we should focus on polynomial time algorithms that are conceptually simple and let Moore's law take care of the constant factor differences between intricate, complex and "clever" algorithms. It's saying that Moore's law will obliterate the constant factor differences in algorithms, and potentially the small polynomial exponent differences, not that we shouldn't care about exponential time complexity.

The "Bitter Lesson" blog post came out during a time when people were debating whether simple algorithms on large datasets could win out against more complex algorithms with intricate domain knowledge. That is, did AGI, vision, language, translation, speech, etc. need intricate and deep domain knowledge or was it good enough to get coarser and "stupider" algorithms, that were still theoretically efficient/polynomial time efficient algorithms.

I can see why you would think this way and I certainly don't claim to have deep insight into Sutton to claim whether my reading is more correct than yours. From my perspective, the good faith reading of Sutton's article is talking about constant factor differences in algorithms, not in differences between polynomial time and exponential time worst case complexities.
Is that an actual guarantee or just the current implementation? I'd expected that at the very least some functions that can operate on std::deque must require moves. erase_if immediately comes to mind.
How Touchstone Climbing Gym workers unionized five locations
Wow!Just check the website ,Looks amazing,
Interesting posts
No, that's what Rust's VecDeque is, the C++ std::deque is something which you wouldn't invent today, but alas C++ is wedded to how things were done in the 1990s sometimes before.

std::deque does have practical uses, but they're rare and many implementations aren't well suited even to those uses. Unlike VecDeque most people should just ignore it.
> I can't imagine other countries NOT being an order of magnitude more efficient.

I can. I imagine that, while the US military bureaucracy is horrible, it is not uniquely horrible. Other countries have bureaucracies, too, and they are not an order of magnitude better than the US ones.

Or so I imagine. I confess that I have no first-hand experience with non-US military R&D bureaucracies.
I urge you to consider using an RC network with a hex inverter to debounce your switch input without resorting to a 100ms delay. I've wasted enough hours to know that the best kind of software debounce is a few resistors and capacitors.

https://mayaposch.wordpress.com/wp-content/uploads/2018/06/d...
These days if something isn’t labeled as Russian propaganda it’s probably not true.
While I really want to agree with your sound argument, I have this suspicion that climate change significantly affected forecast skill on Hurricane Otis.
I think you need to spend some time actually doing some of these things that you feel that you want to pursue before committing to a university degree in order to pursue them.

A lot of people mistake the idea of being something as something they like versus the process involved in being that thing. What I mean by this is, you might find you like the idea of being an ME/EE, but once it gets down to the day-to-day work in learning and being that, you may find you actually hate it.

So, start learning the basics on your own. Do a project, then re-evaluate and see if going to university would be the right choice.

As for going back to school for computer science: I would only say to do that if you plan to go straight into a graduate program. Undergrad computer science is not worth it if you already are in industry. If you feel like you're missing something, there are many books and resources that are better and significantly more interesting to work out of than what an undergrad program will offer you.
He was really nice in Stanford's CS 240h. He helped me better understand Safe Haskell and GHC internals.
Cash is grandfathered but (in the US) it's really essential for some old people who don't use tech, homeless people, anti-government survivalists, and "mark of the beast" conspiracy theorists. (A similar constituency is blocking federal IDs and digital IDs.) You wouldn't think that's a powerful bloc but apparently it is.
On the bright side, the official apple adapters are $10 and have a legitimately alright DAC in them (including mic input). I picked up a couple to use with pcs and laptops since I generally have better luck with the OEM apple adapters vs the onboard audio (which usually applies weird EQ and FX - looking at you, Dell).
Who didn't carry their VCR with them everywhere? How else were you going to record the kid's soccer game?

https://www.rewindmuseum.com/images3/2400woman2.jpg
Hence photoshop and photography skills by observing the tricks that models do

It is a problem indeed and I decided to get good at being photogenic - comparatively to how I am built/how I look
I left a nice job (willingly, on friendly terms) to experiment with a new line of work and to take some time to care for myself. I was happy to return a couple years later.
youtuber - it is not personal attack it is commentary on state of world, im saying to him that he should recalculate, review information he gets from youtubers.

every youtuber who says hydrogen storage, transport is not cheap is spreading misinformation. or if youre angry because you know youtubers are saying it because it as a desinformation, then feel free to chime in about it. or report those youtubers directly inside of a youtube platform.

not personal attack, i am not cute, i am not smart. they are saying nonsense. i provided links showing price for transport, storage is orders of magnitude lower than what any of top 50 science youtubers are saying it is.

you can correct previous statement by providing link for any video of any top 50 science youtuber providing correct numbers.
Also for a quick display forward test
"Tools" is a bit of a stretch for many of these. Can't believe this is the first I'm hearing of xoj.
In most developed countries cash is too inconvenient for regular people to bother with it anymore except when they have to - it is just simpler to pay for things digitally or with a card. But even “free” governments already have total surveillance over digital transactions. So as the remaining legitimate uses (and users, since I think most regular people who would be legitimately harmed by going cashless are very very elderly people who would struggle to adapt) for cash die off pretty much the only remaining reason to use cash is to commit crime - the vast majority of which is tax fraud, which effectively harms every citizen who isn’t committing tax fraud.

Basically, eventually cash will basically become the “crime mode” for its respective currency. I don’t see why it makes sense to continue to allow cash at that point. FWIW I do think privacy for transactions is important but I think we should be trying to make digital transactions more private rather than clinging to a mostly obsolete (in 20 years will anyone be unbanked or transacting in places with no internet?) technology.
unfortunately you can't stop broadcom from vendors you have agreements with
I also do not like that the first (and wrong) form is seen by many as equivalent to the second form.
This doesn't allow hiding things like /proc/cpuinfo or /proc/cmdline or /proc/modules etc.
std::deque typically uses chunked arrays. It is more complex but tends to be faster than a ring buffer based implementation.
There’s a book too: https://theperfectpredator.com/
Metamaterial Mechanisms (UIST 2016) [video]
you're arguably the one doing the AI futurist here by treating the AI not as a tool but as a being like a monkey.

the non futuristic thing to do would be to just see it as a tool, like a procedural image generator, which it is, & give the copyright to whoever ran the AI tool, depending on their contact with the AI service
Christina Engelbart is working to preserve the history at the Doug Engelbart Institute: https://www.dougengelbart.org/
The 'Largest Illicit Online Marketplace' Ever Is Growing at an Alarming Rate
This might be one of the worst takes I’ve read. Each example was worse than the previous and I thought it would end up declared as satire. Maybe it was and I missed it?
Agreed, but there isn't a really solid blogging platform anymore that:

- Offers a dev "enough" control (some HTML/CSS/JS support but not total control)

- Stays largely out of the way (maybe something like a "powered by" header/footer only)

- Doesn't try to lock free posts behind paywalls

- Is independently owned and not a big tech product (so no Blogger)

- Is abstracted enough so that someone doesn't need to know domain, DNS, hosting, VPS, or sysadmin stuff in general to start a website

The closest things I've seen to this are Neocities and Glitch. The best one used to be Blogger, but again it's big tech so you can't use it without being assimilated into the Google collective consciousness.
63 Chinese Cuisines: The Complete Guide (2024)
The vegan propaganda has worked so well that somehow people now think eating meat (red or otherwise) is something we have been doing only recently and only because we are rich.

This view of the world is so wrong I can't believe it. Even very poor people would eat meat, in fact in the middle age they created a tax around salt because it was used both for meat conservation (giving "salaison") and also nutrition for cattle.

If salt consumption was just for humans and meat consumption was low, such a taxation would have made absolutely no sense, yet this is what they did.