skysight-inc/HackerNews huggingface dataset:
> How many people are so mentally ill that death is the only conceivable escape, but at the same time so mentally well that they can make an informed medical decision about the end of their life. Certainly I believe that number to be very low, potentially it might just be zero.

People suffering from non-suicidal mental illnesses could fit this description. For example, consider a patient who has undergone various therapies and medical examinations but remains irrationally terrified of fluids and can only receive them via injection. They'll be mentally sound enough to make an informed decision, and the patient concludes that life is not worth living.
Whatever Tokyo is doing is nice. I liked it. Mixed use is fantastic.
75+% of Americans become disabled (mostly temporarily) in their lifetime. So it will affect most people someday. And everyone dies in the end.
Agree. Still not sure how this can help me.
Better is use-case specific and most benchmarks are not well oriented to answer that for real use cases, but Google's locally-usable models exist and “Terms of use permit responsible commercial usage and distribution for all organizations, regardless of size.”

https://blog.google/technology/developers/gemma-open-models/
Which demo did you try? The car configurator? Also if you're using Firefox, WebGPU isn't supported there yet, so I recommend trying using a Chromium browser.
What if they are in constant mental pain and anguish, but otherwise a sane person?
I would say it's physics, not money.

Space constraints are caused by power and latency limits even with infinite money.
Some do. https://www.stihl.com/catalytic-converter.aspx
I knew a guy who was a surgeon at a big children's hospital. He said that, if a kid came in with damage from abuse, and they didn't detect it and intervene, the odds were 50% that the next time they saw the child, it would be dead.

I'm not sure that taking a loved child and putting it in the foster system is worse than missing an abused child and leaving it with the abusing family.

So I categorically dispute that "taking a loved child away from an innocent family is way worse and it's not even close".
> Sure some of these ended up in landfills. But way, way less than 99%.

It's a guess as good as anyone's, but I'd say the 99% is pretty close to the truth - either in landfill or forgotten in the attic, unused for many years/decades. Only a small number of enthusiasts would continue using them.
Him not replying to you is the funniest tacit admission of being wrong I've ever seen, unless he angrily replies to me. It's surreal that people defend being recorded in your own house. This is figuratively 1984, y'know.
This article title is terrible. "We've All Felt It" tells me nothing about the product.
You can see my top-level comment for more info, but we wrote a very quick and dirty UI to manage the XML localizations that allows "forking" a language into a new localization and showing outdated or missing localization strings. I don't think a single person that contributed a translation was actually a developer, but I've had no complaints about it being difficult to follow in the going-on-twenty-years since its release!

https://neosmart.net/forums/threads/translations-to-other-la...
The Encryption Wars (2000)
it's the headline of the article we're discussing
Why would taxing landlords reduce housing costs? It just increases housing costs for landlords, and in turn renters, as landlords become unwilling to pay for new construction until rents increase to cover the tax.
How were any houses built at all originally? Surely there were no sewers once upon a time.
Is it just me, or is this app extremely similar to Alfred (https://www.alfredapp.com/)? I guess if you like the AI subscription business model better than a one-time "pro" purchase, Raycast might be the app for you.
I also loved Quicksilver. Your comment inspired me to reinstall it.

Turns out, it still works great. I've been using Raycast for about a year now and haven't really loved it. So I guess I'm switching back!

Link for the curious: https://qsapp.com/index.php
I do a lot of work with Isabelle, and when doing proofs, you can use the word "sorry" to basically say "this is true because I said it's true okay".

It's become a running joke in my grad school of "when in doubt, there's always 'proof by sorry'".

I'm not as familiar with a lot of the other proof assistants but I suspect there are similar constructs?
Google Fi plus wifi calling or whatsapp/zoom/etc.
Interesting read given that I am 2 weeks out from an l4/l5 microdiscectomy / laminotomy.
Trivially, you can get Turing completeness out of a Turing machine, which does not have these features, so no, it is not accurate to say they're absolutely necessary. There's a practical side to this, though. What sort of syntactic conveniences should you provide such that anyone might actually want to use your language? That's probably what it should say. The mov instruction is Turing complete, but you likely want some higher level of abstraction that allows for things like developer ergonomics, the possibility of type checking, allowing for human readable source code.
That’s an interesting opinion and it might well be the case.
Nice. How did you find the job?
From the TinyStories dataset card [1] the dataset is generated by GPT-3.5 and GPT-4. Reading the discussions in the community tab [2] it looks like there are a lot of incomplete or misspelled words, incorrect grammar, and even Chinese characters in the dataset.

As such, I'd be weary of using that dataset to train or evaluate models.

[1] https://huggingface.co/datasets/roneneldan/TinyStories

[2] https://huggingface.co/datasets/roneneldan/TinyStories/discu...
Any profession whose communities disagree on the very building blocks of their discipline is not a science, but an art. Urban planning, architecture and economics toe that line.

Over the last century, economics has build some of the necessary concensus to move closer to a science and architecture has moved closer to art + compliance, leaving the rest to civil engineers.

But global urban planning communities remain at each other's throats, and if anything, have diverged even further.

Traffic engineering is a joke because Uber and Google Maps run better traffic simulations than any planning committee in the country. The science has been available to those who want to find it. It's avoidance by planning groups (not blaming the engineers so much as the overall organization) evokes the incompetence/malice comparison from Hanlons razor.

The Urban planning outcomes of the anglophone vs the rest of the 1st world might as well be spitting in each other's faces. Given similar policy goals, cultural values and weather....one of them is wrong.

And I know I have placed my bets.
> First Things (FT) is a journal aimed at "advanc[ing] a religiously informed public philosophy for the ordering of society"

It's (explicitly) religious propaganda.
I'm not sure if I'm missing something here, but many translation solutions support ResX files out of the box. For example, I use memoQ, which has built-in support for ResX files. Additionally, open-source solutions like OmegaT can handle ResX files as well.
My favorite turning complete language is Fractran - https://en.wikipedia.org/wiki/FRACTRAN

17 78 19 23 29 77 95 77 1 11 13 15 1 55
-- -- -- -- -- -- -- -- -- -- -- -- -- --
91 85 51 38 33 29 23 19 17 13 11 2 7 1

That computes prime numbers.

Iterate through the list (start with n = 2) and iterate through until the fraction is an integer. Repeat with the new number.

For this, after 2, the next value is 15 (when it gets to 15/2). Then it will be 825 (15 * 55/1). Then it will be 725 (825 * 29 / 33) and so on. At some point, n will be 2^x where the sequence of when the number is just a power of 2 will be: 2^2, 2^3, 2^5, 2^7, 2^11 and so on... the exponents of 2 are the prime sequence.

2, 15, 825, 725, 1925, 2275, 425, 390, 330, 290, 770, 910, 170, 156, 132, 116, 308, 364, 68, 4, 30 ...

https://oeis.org/A007542

https://news.ycombinator.com/item?id=35966537

https://softwareengineering.stackexchange.com/questions/2201...

https://web.archive.org/web/20150923211455/http://www.cs.vu....
Basically they bring us back to the days of 3D software rendering algorithms, now however fully accelerated on the graphics card.

See offline renders like OTOY, that make use of CUDA.

However we could already have gotten them via WebGL Compute, as they are part of OpenGL ES, had its implementation not been sabotaged.

https://github.com/9ballsyndrome/WebGL_Compute_shader

https://registry.khronos.org/webgl/specs/latest/2.0-compute/

https://issues.chromium.org/issues/40150444
That sounds like an ideal way to find a new job.

What specifically about the job made you change your mind re: taking time off?
You can induce this state with drugs. Then it will be easy to imagine and understand. If drugs can reproduce this state of mental anguish it is imaginable that someone's brain chemistry might be off in a way where they are in similar constant mental hell.
I watched years ago a presentation at the City of Irvine, California, from a scientist that all these small engines (leaf blowers, mowers, etc.) pollute California's air way more than all cars combined. Also, the leak machine oil. To me personally, leaf blowers are bad not only due to their exausts, but because they also make all kinds of bacteria and pollutants airborne, most specifically, fungus, feces from animals, large particles, etc., which end up in our lung eventually. To me leafs are not a big issue. I'd rather have grass with decaying leaves then grass and leaf blowers!

UPDATE: It seems that California has banned the sale, not the use of gas-powered small engines [0]!

[0]: https://www.cityofirvine.org/environmental-programs/lawn-equ...
I've started seeing PI show up on the DIN rails in some industrial equipment, usually HID related. PLCs are built to safety critical standards, a PI with some error might go executing code off into never-never land, where a PLC will fail to a known output state. Obvious oversimplification.
https://en.wikipedia.org/wiki/Safety_integrity_level
If that's really true, then perhaps. But those people would probably argue that these two conditions are mutually exclusive. Again, can't say I totally disagree.

If only there was another way... We can't fix it now, but if we could put that person in suspended animation or some other kind of stasis, we might revive them once treatment was available...

This all is really sad and I don't wish anyone to suffer. But I also don't want people to die because they thought their situation is hopeless and it might turn out it isn't...
Kagi… just sayin'
Friendly note: losing, not loosing :)
>> Even a lowly ZX Spectrum easily fetches >$50 these days.

Because there are fewer and fewer of them left. Look at something like Pokemon Yellow GBC carts - huge collector item, yet still selling for very cheap on ebay. Why? Because Nintendo made 500 billion of these things and they generally don't break down. Old computers however do, and while it's usually something "simple"(if you know how to use a soldering iron) like a burst capacitor, most people wouldn't even bother.
New drug Retatrutide outshines Ozempic and helps people lose quarter of weight
I bet it was a bit more than a few ms per day.
Many Searchers Want to Turn Off Google AI Overviews
If you're shooting at a cheap drone with a million-dollar-missile - it's because you don't have anything more appropriate at the right place to defend a high-value target. The appropriate solution right now is AA artillery (Gepard or ZS-23-2 or -4, etc.) or electronic jammers.

You don't have them near the high-value target right now because it's simply too expansive to build enough of these to cover all the thousands of kms of frontline and thousands of high-value targets all over the country. So you put them where they are most needed and cover the rest with long-range missiles.

I'm pretty sure AA cannon is cheaper to build than this RFDEW device. If you can't build enough AA to defend against drones now - you won't be able to build enough RFDEW either. Yes operating costs will be lower, but initial cost will be higher, so you still won't have enough of them.

So you'd still need to use the long-range missiles to deal with the drones that slipped through the gaps.

BTW I do hope they can improve the range, but as is it's not going to replace long-range missiles.
> hereas you could show me some partial differential equations to solve that I haven’t touched in 10 years and that somehow comes back quicker.

The HCI (human calculation interface) for calculus has been lovingly polished for many, many generations. A quick read over Newtons original texts will quickly reveal that wasn't always so.

It seems unfair to hold an API to the standard, really.
Hmmm.

I see your point, but if you read the article, this is still 2-3x higher than in previous time frames.
This is what gets me about the 'Islamic Golden Age' that 'saved' Greek history, while Europe was backwards and didn't. Like, how many Greek cities, with historic Greek libraries, were in backwards Germany and Great Britain were destroyed? Now how many Greek people, who spoke and read Greek, and had access to historic Greek libraries, were 'saved' by the Islamic invaders versus how many Islamic libraries, created solely by Islamic invaders, were created from texts possessed by Islamic invaders and not texts from lands that they conquered? Seems more like a 'Middle Eastern Golden Age' of the indigenous people would be a better name than to label it after the regions conquerors.
> Doesn't the answer depend on whether or not the map is being mutated by other threads concurrently?

Yes. To reason about here, you need to look elsewhere. Reasoning locally about your code doesn't tell you what happens.

> To be fair, even in Rust that answer would depend on the specific map implementation

I'm not convinced that Rust would disappoint here - this example is the essence of what Rust promises to do safely (well, that and GC-less GC). Per tfa:

> for a very, very long time the field has been held back by programming languages with too much mutable aliasing to be tractable.

> And Rust makes this better?

> Yes. Rust references are subject to the "shared-xor-mutable" rule

If you're reading and writing to your map, then no-one else is. It's the reward you get for pushing through the pain of lifetimes/ownership that other languages don't impose on you.

To be fair, I haven't touched Rust since the latest push for async programming... has it really just dropped 'share-xor-mutable' on the floor?
it choked because it didn't solve for `t` at the end

impressive attempt though, it used number of wraps which I found quite clever
For almost an entire decade, I forgot that bookmarks exist, why would anyone use them when you have Google?

Over the past year, I've fallen in love with my bookmarks again. They're curated. They take me right to the answer I want. You can set the "omnibar" up to search your bookmarks. They don't hallucinate themselves into existence.

So, thanks Google, I've gone back to 1999, for the total failure that your service is.
People are directly asking for suggestion/recommendations on products or places. They'll more than recoup the costs by selling top rank on those questions.
Some of the best examples are too sensitive to share on this forum. Other things get flagged and reported. Some new topics/sources that squeeze by invite the bots.

The best arguments for Google's algorithms making people crazy for lay people would be Aaron Swartz like individuals who just go unknown.

I can think of atleast 4 individuals new to me the last 6mo ive discovered who used to cover court cases, ran NGOs, or worked as journalists that have been seemingly swept up in what looks like delusions.

Lots of typos, egegious oversights, etc#. Its hard to personify these individuals as theyre hard to reach and anyone w ptsd or whom knows people w ptsd know how hard it is to provide support to someone locked in a fight-or-flight reflex. After a terror/fear/paranoia becomes familiar anything else feels foreign. Human connection becomes scary.

Read up on bateson-esque schizomogenisis and reflect on the CIAs relation with the "unabomber".
Yes, but it's tricky here because often it's upfront. The only reason it wasn't our case was that carry was unusually spread out over the team and the buying requirement was for everyone, so the LPs accepted that as long as there was a clear plan in place for everyone to buy in, it was ok.

Note that given salary levels this means that over the 10 year runtime of the fund, most of us would be giving up nearly ~20% of our 10 year aggregate gross salary, most of us within 4-5 years. My gross salary during that period was not much different from in my job before - it was a pretty steep sacrifice for a shot at that carry.
Slapping a piece of plywood with oak veneer onto the air handler doesn’t make it look any less like an air handler.

$6,500 per mini-split installed is quite high, a mini-split requires mounting the air handler and condenser, drilling two holes through an exterior wall, connecting the line sets, and sealing the holes; plus electrical wiring. $3,500-4,000 is what I would expect to pay if the mini split cost around $1,000: 8 hours max each to mechanical and electrical contractors ($150/hr) plus material and profit.

This company is marketing towards people with more money than sense who will be impressed by “wi-fi” and some oak veneer.
Charging using the truck would require running the truck all day -- probably not an acceptable alternative. Consuming 2-10 Kw from a 200 Kw engine would be so inefficient that it'd be too expensive anyways. Instead you'd need to run a generator all day charging batteries.

A fast charging, high capacity tool battery takes at least 60 minutes to charge. In high power applications (lawn mower, leaf blower, chainsaw, etc) those batteries might be emptied in a little as 15 minutes.

A better alternative might be corded 240v tools running directly off the generator for high-power applications. 120v tools are limited to 2-3HP which doesn't compare well to gas engines.
So? With (for instance) this simple & ancient technology -

https://en.wikipedia.org/wiki/Slipway#Slipways_in_ship_const...

- people can routinely construct ships weighing ~1000X the weight that any one worker (or crane) could lift.
Nice. There is so much new things to learn. Sounds like a good path.
DuckDuckGo rolled out its own LLM results, "DuckAssist". At least they are very upfront about how to disable it, though; they link directly to the relevant setting from each LLM result.
Not yet in Europe it seems. I can’t wait /s. Might have to finally sign up for kagi.
While Israeli Jews receive full, collective blame.

I've never said or implied any such thing.

Collective blame and victimhood are your themes, not mine.
The most confusing emojis in every US state in 2024
Try these demos instead (Unreal Engine using WebGL 2.0)

https://vehiclegame.tiwsamples.com/

https://topdown.tiwsamples.com/
Oh! I get it (I think)

Corporations can be set up that do most of the governing, and do it the way “they” want. I assume Facebook is the poster boy here, something something
Content moderation.

I mean yes - kind of.

My take is that most corporations are more interested in making a quick buck
than in doing any governing (especially the hard stuff).

Governing well is really really hard ( which is why it is so rare!). Outsourcing it even to your captured corporations just makes the whole thing harder surely?

I am heartened by Zuckerberg standing up in congress and saying “well you tell me what is and is not allowed”

Corporations either don’t want to govern (see above) or they already are the government (see Putin’s Russia) so it’s only extra constitutional if you think the constitution is worth more than the ink.

I think despite everything we have shared belief that our western constitutions matter - even Zuckerberg
Arabic and Coptic Egyptians are genetically distinguishable.
that's magical thinking. just because some people end up in better relationships doesn't mean it's a natural progression. plenty of people find themselves in a string of bad relationships until they either die or swear off relationships.
This recent article on Hacker News seems to suggest similar inconsistencies.

GPT-4 Turbo with Vision is a step backward for coding (aider.chat)
https://news.ycombinator.com/item?id=39985596

Without looking deeply at how cross-attention works, I imagine the instruction tuning of the multimodal models to be challenging.

Maybe the magic is in synthetically creating this instruct dataset that combines images and text in all the ways they can relate. I don't know if I can even begin to imagine how they could be used together.
> I knew a guy who was a surgeon at a big children's hospital. He said that, if a kid came in with damage from abuse, and they didn't detect it and intervene, the odds were 50% that the next time they saw the child, it would be dead.

If I interpret this charitably, maybe they only saw the worst of the worst because of their position as a surgeon?

If I interpret this less than charitably, you are implying that a single incidence of child abuse has about 50% fatality rate. This would be simply false. You don't have to go back further in time than 40 years, and it was commonplace for pretty much everybody to beat their children. If 50% was an actual fatality rate for a single incidence, population worldwide would have dwindled due to these fatalities.
All we need is some self-expression, eh? Doesn’t sound that wise for our current place and age.

https://news.ycombinator.com/item?id=40325542
> Yes, but it's tricky here because often it's upfront.

Fair. These sorts of things are usually pretty nuanced.

> it was a pretty steep sacrifice for a shot at that carry.

I totally get that, but it also seems like the ideal balance of interests. To many obvious failure modes if you don't have enough skin in the game. Of course that works the other way too, the upside in good-to-great cases have to make it make sense.
I will do just that, thanks!
> see, for example, the US$1.3-2.5 million Sea Viper missile used to take out a US$20,000 drone
Guess it depends on your definition of a mono-repo vs multi-repo. I'd consider what we have as a mono.

We have one repo which is our main web application (user dashboard, landing page, etc..), our API, and our scheduled tasks. With how much code is shared between these services it just makes sense to keep them together.

We then have separate repo's for other services that aren't critical or apart of what was mentioned above.
Amiga DOS doesn't seem to go away no matter what.

IBM and Unisys mainframes and micros.

Smalltalk and Common Lisp REPL environments.

Although probably debatable to consider any of them mainstream.
Ahh, sneaky! I read the article and couldn't figure out what the point was.
The article mentions the "web" search, which is the "opt-out button" that link is talking about, but it doesn't acutally opt you out, it just turns off AI for that single query.
Is there anything I can read about what capabilities Datomic requires of the underlying storages it uses?