skysight-inc/HackerNews huggingface dataset:
I recommend taking a look at the playground, it really helps understand how it works:
http://pdfmake.org/playground.html
For me, routines are used to provide a strong stable foundation so i can take on new, unexpected, unfamiliar things on a daily basis, and stay resilient and mentally healthy. It is a means and not an end
Dating Apps Once Ran on Novelty. For Some Users, the Fun Is Over
I do like to add raw cacao nibs to my chocolate cakes and I also prefer the old web over much of the offensively inoffensive corportate approved web so maybe there is something to your analogy.
GPUs can now use PCIe-attached memory or SSDs to boost VRAM capacity
Hi, Dave. Thanks for your feedback. Would you mind telling me what would it matter to you most regarding the features set of a rich text editor?
I would also prefer HTTP, but Pis can use PXE boot and mount their root filesystem over NFS already:) Official docs are https://www.raspberrypi.com/documentation/computers/raspberr... and they have a tutorial at https://www.raspberrypi.com/documentation/computers/remote-a...
What are BC features that you find to be so great?

I'm genuinely curious - I heard of lot of BC being 'the tool' for diffing. I'm used to Meld, but my current employee has a pretty strict policy which tools could be used so at some point I've managed a licence for some older version of BC. But for some reason I've found its UI/the way it works a bit less optimal that I was accustomed for. Since I'm using that primarily for text diffs these day I usually use a diff tool from IntelliJ Idea (I have Idea open all the time).
Dialect and language are sort of a "coastline problem". You can find variation between two neighboring villages if you like, but at some point you have to draw a boundary around a group of speakers and call it a dialect. I'd assume the common dialect of Santiago, where most people live in Chile, is considered "the Chilean dialect," but it almost certainly sounds different in rural areas.
Indeed, if you read The Goal or The Phoenix Project, they call this "slack". There is a whole theory about why slack matters.
When we learned that lead poisoning was bad for you and increased aggression, we didn't kill everybody with lead poisoning. We changed our society to reduce lead poisoning, by getting rid of leaded gasoline, lead paint, etc.
The site Microwave News keeps up on the latest health aspects of such things.

https://www.microwavenews.com
I recently wrote a blog post exploring the idea of interfacing with local LLMs for ambiguous tasks like this. Doesn't that make more sense than coding the neural network yourself? Using something like llama.cpp and evaluating whether a small model solves your problem out of the box, and fine-tuning if not, then programmatically interfacing with llama.cpp via a wrapper of your choice seems more pragmatic to me.
Location: New York, USA
Remote: Remote/Hybrid/Office
Willing to relocate: Yes
Technologies
Programming: Python, C, Go, Java, SQL
Frameworks: Django, Flask
Databases: PostgreSQL, MySQL, Redis

Portfolio: https://arjunhm.github.io

LinkedIn: https://www.linkedin.com/in/arjun-hm

Email: arjun.hm.misc@gmail.com

Backend developer with 3 years of experience. Currently working on databases. Looking for a full-time SDE roles and also looking to break into database development.
This weird obsession with "10x work" is very off-putting to me, hustle culture nonsense still infecting people.
I doubt it's final
The unfortunately-named Stalin compiler boasted pretty good performance of the output (the compiler itself not so much). Hasn't been maintained since R4RS days tho, so probably not useful for any real-world code.
This is truly incredible. I want to remind everyone about Blender's humble beginnings. Great work, I look forward to seeing your product pop back up as others discover it.
Thank you for your service and sacrifice, and for helping us celebrate another Independence Day.
But then why would you need to buy it?
It's exactly the same process, just stemming from different values and thus engendering emotional connections to different products.
Perplexity.ai Is Susceptible to Prompt Injection from Arbitrary Pages
Right - it is saying that there is no algorithm to do this in general. Any specific instance may have a solution.
Show HN: An open-source roadmap for becoming an AI Engineer
No. There is no one that will come to the Greek public sector simply because they can go to Central Europe. Their passport is just as good. Greek doctors do not leave Greece out of spite, the working conditions are terrible: low pay, very long hours, exhausting conditions.
Now we can add me to the list of confused.

> ... when it has succeeded in giving us an infinite digit sequence for the output real number.

How can it actually ever succeed then? Infinity never ends.
Nonsense.

The other half wants him tried fairly. We just expect he will be convicted because his guilt is more obvious than OJs was.
Fedora 41 Looks to Say Goodbye to Python 2.7
Not really. Chromebooks don't use the LAN. They can run code locally, or on the server in a different timezone. However with Sun if you needed more CPU you could log into all the machines on your local network - all machines shared the same filesystem(NFS) and passwd (I forget this was), so using all the CPUs in the building was easy. It was unencrypted, but generally good enough until the Morris worm.

Of course moderns servers have far more CPU power than even the largest LANs back in 1986. Still those of use who remember when Sun was a big deal miss the power of the network.
Note that every subdomain of myworkdayjobs requires creating a brand new account. An other ways to apply, e.g. by email?
See the first commentator’s George Carlin video on Euphemisms. None of his commentators mention it (yet) but it’s the best part of his comment IMO.

I’ll summarize the video’s transcripts here partially.

In WW1, it was called Shell Shock. That was 70 years ago.
In WW2, a generation later, it was called Battle Fatigue.
In the War in Korea in 1950, it was called Operational Exhaustion.
In the War in Vietnam and because of that war, it has been called Post-Tramatic Stress Disorder.

The NYT Article basically concludes that PTSD has been Shell Shock all along. Progress has been hampered by Euphamisms. If the combat veterans were diagnosed with Shell Shock, we might have a solution or remedy for it 70 years later.

This problem is pretty bad. U.S. soldiers are almost 9x more likely to die by suicide than by combat, according to a Pentagon internal study ending in 2019.

According to data published by the CDC, if you’re a white male (civilian/military/all) the main thing you have to do to live to see your 44th birthday is not die by suicide. The data says that’s a lot harder than it sounds as it’s the second leading cause of death in all age brackets up to age 44. A staggering 70% of all suicides are by white males. What societal factors are disproportionately affecting them?

Maybe put out an ad campaign that says “Suicide is selfish, misandrist, and racist.” Although that doesn’t treat the underlying issue(s) and causational factors. It’s similar to when Foxconn added nets to the upper floors of their iPhone factory.
react I18n, MUI theme, install via NPM install, SSR support, multiple formats (HTML, markdown, react) is what it comes in my mind at this point
GraphRAG is now on GitHub
The team at Microsoft is pleased to announce that GraphRAG is now available in open-source!

Check out the announcement video:
https://youtu.be/dsesHoTXyk0

GraphRAG is a research project from Microsoft exploring the use of knowledge graphs and large language models for enhanced retrieval augmented generation. It is an end-to-end system for richly understanding text-heavy datasets by combining text extraction, network analysis, LLM prompting, and summarization.

For more details on GraphRAG check out aka.ms/graphrag

Try out the Python code on your own machine: https://github.com/microsoft/graphrag

Easily deploy GraphRAG in Azure: https://github.com/Azure-Samples/graphrag-accelerator

Leave a comment below for what you want to build with GraphRAG!
Hyundai Ioniq 5, Kia EV6 Are Newest Victims of 'Game Boy' Hack
There's no explanation as to why someone should sign up. Maybe mention that most of the jobs get filled within 3 days or something like that.
hi! i've been an AI engineer for the past 4 years and wanted to think about how I would relearn the field if I were to start over. most of the other AI roadmaps I've seen were theoretical in nature, and I wanted mine to be project-based. Let me know what you think and how it can be improved!
More precisely, EDR (somtimes EDTR -- endpoint detection and threat response) is one component of a robust endpoint protection platform.

EPPs will consist of threat detection and response (EDR), as well as proactive prevention, vulnerability management, threat intelligence, data-loss prevention, encryption management, etc.
Those with that concern can commit suicide instead of surrendering, maintaining a lower bound for how bad things get for them.

We disagree on the framing and likely outcomes. I doubt I could your mind so I won’t even try.
3Play Media | On Site (Boston) | Full time | 3Play Media

I lead the recorded engineering team at 3Play Media, a company focused on digital media accessibility. 3Play Media is a rapidly growing, profitable technology company revolutionizing how people consume online media. Our premium transcription, audio description, and translation solutions serve over 10,000 higher ed, enterprise, media, and government customers.

We are expanding our engineering team. We're looking for someone who is:

- Proficient with backend systems: we use Ruby on Rails, AWS, and Mongo

- Comfortable integrating designing and integrating with APIs

- Excited to interface with internal and external stakeholders

Please reach out to me with your resume: ian [at] 3playmedia [dot] com.
Yeah, that's a factor here, I'm not very good at CT. (It's weird. It seems so simple, but when you actually get into the weeds things are flying around and morphing and it all falls apart (for me.)) Again, thanks for trying, I really appreciate it. I'll study CT and take another run at it. :)
>I think that's only true if your CSP has the word 'unsafe' or '*' in it.

No, that's the subtlety that a lot of people in the thread are missing. I wish OP did a better job of explaining the difference.

Imagine that you screw up and some part of your page assigns injects an attacker-controlled string without encoding properly:

So you have something like this:

<div class="ugc">{{ user_message }}</div>

And the attacker can inject arbitrary HTML/JS, so they do this:

<div class="ugc"><script>fetch('/account', { method: 'DELETE' })</script></div>

If you have CSP enabled with standard settings, the attack won't execute. CSP saves you even if you screwed up that badly.

The problem is that even if you keep the CSP settings secure and you add htmx into your app, the attacker can effectively achieve XSS because htmx's functionality is powerful enough that it's mostly equivalent to having arbitrary JS execution:

<div class="ugc"><span hx-delete="/account" hx-trigger="load"></span></div>

So, without htmx, CSP protects you from mistakenly sanitizing input / encoding output, but with htmx, you lose a lot of the benefit of CSP.
Okay, so the article is wrong for using that bit of data for the argument. It doesn't tell you much about how well two people from two different places will understand each other. If two people are in the same place and one says to the other "¿me das la veleta?", but the other would have called the object "molinete", chances are they could probably understand what the other person is saying. What makes different dialects of Spanish difficult to understand each other is slang and accent, not different words for common objects. Like, if a Spaniard tells me "Mariana está en el ordenador", I'm not going to get confused about what he means even if I would have called it "computadora".
I agree that would be a great help, but I don't see that happening when half the population is just going to be contrarian and obstructionist to something like that. Not least because it would mean they would have significantly less power if people had more options.
All of this is just because Chile is the best country of Chile... if you know what I mean ;-)
Microsoft's WSL2 Transitions to Linux 6.6 LTS Kernel
In general, it absolutely does. I'm not sure what you're trying to say.

(1) Yes, there are classes of programs for which you can say whether it halts

(2) Yes, there are programs who do not fall into those classes who can be shown to halt

But the point remains... there's no 'general' way to show that any program halts.

Part of the point of good PL design is to produce a language that is amenable to analysis, including halting analysis. Some languages do this better than others. Others are okay so long as you make particular assumptions. The halting problem tells us that the languages that are perfectly analyzable are categorically less powerful than the ones that are not. However, this may be 'enough' for us.
I use only Astro for websites / blog sites, and host with Cloudflare Pages.

For web apps, I still use Astro/Cloudflare for the frontend. For the backend, I use Django Ninja, hosted as one of the many services I run on a Hetzner instance using CapRover.
`SELECT FOR UPDATE` solves that problem completely or almost completely.
It is never undecidable to determine whether a single particular program halts or not.

For any single program, one of these two functions will correctly output whether it halts or not.

bool always_true(TuringMachine M) {
return true;
}

bool always_false(TuringMachine M) {
return false;
}

It won't work for every Turing Machine, but it will work for a specific one.

This is why it's not very meaningful to talk about the decidability of particular Turing Machines and also why the halting problem is not, and never was about specific Turing Machines.

As to your point about being decidable within ZFC or PA, that is true but it's also not really significant. Neither ZFC or PA are a kind of master authority when it comes to decidability and in fact the vast majority of mathematics is fairly agnostic with respect to the use of ZFC.

The choice of a particular set theory tends to only come up in very explicit circumstances, and even in those circumstances you'll find mathematicians using theories that are more powerful than ZFC such as by making use of large cardinal axioms.
But the 14th amendment didn't actually work in practice. Nearly 100 years later and many states had explicitly racist laws and policies - in some cases supported by the Supreme Court - and those that the 14th amendment were supposed to protect were disenfranchised.

If the 14th had actually worked then the Civil Rights Act wouldn't have actually been needed, but there is a lot of hard evidence that it, or something like it, was needed.
Source code costs extra, everyone knows that! Get the bag!
Sustaining Drive: How to keep going while building products alone
CSS Surprise Manga Lines
Highly interesting, I'm looking forward to this.

But the `member_number` functions in § 3.2 look disturbing to me. It's not discernible how invalid arguments are handled. Normally I'd look at generated assembly to answer a question like that, but this probably doesn't make sense with compile-time-fu (`constexpr`)…
It's a little more impactful than that. Have a look at Z3, Boogie, Dafny, and similar technologies to see practical application of what I mean. It boils down to there being "non-general" algorithms that still work for virtually every input you're ever going to give them. A hypothetical algorithm that decides the halting problem for 99.9999999% of programs would not violate the impossibility proof.

The limit case is maybe interesting. What about the algorithm that decides the halting problem for every program except for one? Does the impossibility proof prohibit such an algorithm? Does it make a difference if the identity of the unique program is known or unknown?

And then of course there is classic pen and paper hand derivation like the old guard (Knuth and his peers) did. The claim that that is following an algorithm is yet to be proved or disproved.
I am a reservist in a country that has such a high risk of Russian invasion that defense leaders have stopped all non-essential spending in favor of hoarding as much artillery and rockets as they can for when the time comes. I do not have a suitcase packed and I do not intend to flee anywhere.

And people here are taught since childhood that this not about being an useful little soldier for the government, but an essential duty to your friends and family, because when the situation gets tough, there won't be anyone else to protect them. A huge professional military that can come to your rescue - like the US Army - is a luxury that most people in the world don't have.
Formal verification (i.e., automated theorem proving) relies on only admitting 'total' programs, which usually requires that any potential sources of 'bottom' (i.e., non-termination) come equipped with a proof that that never happens (usually based on well ordering of some structural decomposition in the recursion).

Thus, most theorem provers are not turing complete and explicitly ban any turing complete structures.

So, the various things they show and prove cannot be said to encompass all programs.
Even in the late 60's and 70's, RAND did some seminal work in the modeling of estuarine and coastal flows using the computers of the day. It was incredibly practical work that was used through the 90's, and that's still cited today. They were wonderful papers for the time.
> This of course comes at the cost of not being able to support non-free parts of the web standard such as DRM.

That would be a benefit, not a cost.
There are regional variations, but the difference is less than what you would probably expect, applying mostly to intonation/cadence (more marked and melodic in the south, less so in the north) and some vocabulary. Most of the variation in Chilean Spanish is based on socioeconomic status, since Chile's income inequality is rather high.
This is deep and pretty impressive feedback, and I really want to thank you, sir.

this got me, and I now understand, that I have failed in explaining the audience about my latest project.

I will try again, this time i will stragit and clear.

Thank you very much sir.
someone watched "Real Genius", learned what was needed, and pulled a Lazlo Hollyfeld.
Can't edit my comment anymore to clarify that someone has now edited the Shield comment to no longer say San Diego, Texas. :P
> None of those tools you quoted are production ready based on my investigation

This is very true and almost all of them are taking far longer to develop than they initially thought. swc/turbopack is being pushed by Vercel and it has been a huge ongoing disaster.
I'm not sure how much of it you can minimize. You can only control what you can control...and war/combat is chaos. Honestly it seems most things in relation to this over the years has been on treatment, not so much prevention.
Unless your app can use all the cpu you assign it
> Figuring out whether a single given program halts is decidable

Whether any single given program? No, it's not decidable. For many programs, sure.
Thorium and Haleu = Clean Core Thorium Energy: Mark Nelson TEAC11 [video]
https://archive.is/0uaee
This is really cool, I think I'll end up using this instead of a random VSCode window. Multiple blocks and especially the math ones are really nice for this use case.

FYI in every browser I use on Mac, command + L highlights the current page URL, so that shortcut to change language/block type doesn't work for me. Not a huge deal because you can change it from that bar at the bottom or the command palette, but figured I'd flag in case it's worth changing that shortcut.
Right. As usual, YMMV. Routines are an absolute necessity to stay grounded for those of us who are naturally unhinged enough to be unable to snap out of their 100x streaks. But, sadly, cargo cult is a thing. When people see 100x performance, they associate it with whatever outbound behaviors of the high performer. Alas, it’s usually a coping mechanism, not the source of prosperity.
Show HN: I Researched Semaglutide (Ozempic) Clinics in the United States
I conducted a small data study to calculate the number of semaglutide clinics by city and state and analyze their correlation with obesity rates.

I started the directory itself because I was helping a med spa clinic with their marketing and couldn’t find any existing directories specifically for semaglutide clinics. So, I decided to build one myself.

Given I already had this data, I thought it would be interesting and helpful to share it publicly.

Key Findings:

-There is a moderate negative correlation between a state's obesity rate and the number of its per-capita semaglutide clinics. States with a higher obesity rate have a lower number of semaglutide clinics.

-There are approximately 3,490 semaglutide clinics in the U.S.

-Utah, New Hampshire, and Florida have the most semaglutide clinics per capita.

-4% of all U.S. cities have at least one semaglutide clinic.

We are also nearing the completion of a pricing study. The pricing study will compare the cost of semaglutide injections across thousands of clinics in the U.S., breaking it down by the average cost per city and state. We’ll also be using this pricing data to add a cost filter to the directory's frontend.

Future Research Plans:

-Top rated semaglutide providers by state

-Average price of tirzepatide (nationally and by state)

-Top rated semaglutide providers that accept insurance

Would love your feedback on how to improve our data study (and the site overall) before we circulate it more widely. Thank you!
An interesting representation of the time spent in National Parks vs time of year, lodging type, and temperature.
So… ads. Except that you write them instead of showing a gif.
...or Turbopack or RSpack or Rolldown? Too many choices. I will be sitting this round out until a winner emerges.
Great videos on similar stuff by CuriousMarc

Fossil Data Part 2: 8-Inch IBM Floppy Data Recovery

https://www.youtube.com/watch?v=5FVwheTVWko

Fossil Data Part 1: Paleontologic Data Fossilized on IBM 8” Floppies

https://www.youtube.com/watch?v=MPOYHQTMnf8
Actually I think I'll stand by quite a few of those comments, Dan, including the ones I've posted in this thread. If you feel the need to ban my account, I won't stand in the way, but I will say I don't respect a lot of the objections you've gone back almost 10 years to dig up, especially when considered in the larger context of the threads in question.

Don't want flame wars? Don't post flamewar-inciting links, as many of those arguably are, then object selectively when some people take the bait you're dangling.
Using CPU memory to extend GPU memory seems like a more straightforward approach. Does this method provide any benefits over it?
Agree that soundness is desirable, but "it only works on a subset of instances" and "you are restricted to a non-Turing complete subset" are not equivalent in the slightest.