skysight-inc/HackerNews huggingface dataset:
> We really have a problem with targeted surveillance of specific communities like visitors of a specific mosque? Or a pub frequented by known nazis?

There's one of a hell of a difference between the right to religious expression and the right to drink in a pub.

The former is protected in many constitutions (USA: First Amendment, Germany: Art. 4 Abs. 2 Grundgesetz, Netherlands: Art. 6 no. 1 Constitution) as well as in Art. 18 of the Declaration of Human Rights, the latter is not.
How is that related to the article?

In theory, no matter what the job market, companies will have the need for talent unavailable locally (of course the H1B is abused, but that's the stated purpose)

If you're implying that eliminating H1Bs would shoot wages upward, I don't believe that would happen.
so I have done a lot of transcripts, coding, one versus the other (gpt4 vs ultra). Often simple prompts like refactor this code or convert this python to typescript.

My experience is that Gemini ultra understands the code better, but doesn’t always give me as complete of results (they seem to limit output length more)

Beyond that it is very smart. I’ve had to tell me this code packs 12 bit integers into different parts of an array using the following encodinv. Which most people would not figure out from the code as written. It then will say you can actually do that with this neat little translate function that you never knew about.

It will then get the code very slightly wrong. if I tell it not to use the cool function, it will actually get the code, right.

GPT4 has no idea what the code is doing but can clean it up a bit.

so it’s like ultra is too clever by half sometimes.

That said, I have fed thousands of lines of code into both of them and asked them to refactor it, and neither one of them made more than one error. All code otherwise compiled and worked first try.

this is code that can’t possibly be in their training sets, it’s basically handwritten python that was written, based on an old x86 binary that nobody has the source to anymore. so the code is basically garbage, and what it is doing doesn't, say, appear on GitHub in a nicer form.

Both gpt4 and Gemini ultra were able to make the code, look like clean, idiomatic, python, or typescript without any work on my part. except for the one bug each. which, for 8000 to 10,000 lines of code is not bad.

The GPT4 inserted bug was more insidious. It changed (the equivalent of) (uint8)'a' to (uint8)'a' - '0' for no reason when converting some code to typescript. Not sure if that is representative of anything

if I do the same with any of the other “top” models ( from can ai code, etc), most of them can’t even generate correct working code for all the input, let alone good code. Most aren't even close.
It's a very privacy-hostile site, it's the only site I've ever used where I can't delete my comments. Since I don't have control over my content here I'd never associate it with my real name. I don't remember everything I posted ten years ago. None of it was blatantly terrible, but I have evolved and don't know if I stand behind everything I've ever said. I could only consider an account here to be for throwaway content.
If a LLM is fed all your Google Account metadata and then told to pick an ad for you, is it private?
I've actually seen quite a few (never used any though) who specifically say they're "certified life coaches," which generally seems to be some sort of credential given to them by a for-profit "academy."

The flipside is I know quite a few social work grads, especially with masters degrees, who have pivoted into the field because of how lucrative it can be.
It's rare I would consider driving my own car for 12 minutes in a city (would probably take twice that again to find parking) and I would normally not take an Uber unless I had a heavy load, was in a rush, etc.

There is a small regional small bus system that serves the train station and the Walmart about a mile away. No idea of the schedule--I'm sure it doesn't run late. But I'd still be taking my life in my hands to walk the mile to the Walmart.
So I guess he was first talking about a PCB with zero components that is dead weight... Not sure why it would be "pretty cool" seeing the thickness and that it serves no purpose.

> The first time I saw a PCB business card, I thought it was pretty cool. Then I saw a PCBA business card (with components!) and was amazed.
Just an idea if it’s aimed at non-technical users, maybe don’t use a dot Dev domain because that may turn them off. Of course I have no idea about your user base so I’m probably totally wrong on that and your dev probably attracts your actual customers. just an idea.
Databases are optimized for storing a couple trillion records of a couple dozen bytes each. File systems are optimized for storing a couple million records of a couple Megabytes to Terabytes each, with maybe a hundred bytes or so of metadata attached. They make very different engineering tradeoffs. And while you can invest time to make them better at each other's tasks, there is only so much you can do.
Lazy algorithm and generator functions
You can buy and download music from Apple Music on Windows. https://support.apple.com/en-us/HT213733#:~:text=How%20to%20...
They also had an app called duo. And an app called Meet. And then Duo was renamed to "Meet", and Meet was renamed to "Meet (original)"
I presume you mean the Symbionese Liberation Army when you say SLA?

https://en.wikipedia.org/wiki/Symbionese_Liberation_Army
People ask that question every time
Though humans aren't able to do it in a chat session. Being able to work on the problem in the background for a couple days may be a prerequisite for AI to solve these problems. And such would require money from the asker.
PESRONAL OPINION AND EXPERIENCE:

I was SO LUCKY, growing up Irish-American Catholic, that I had so many local parish Priests that were Jesuits. THEY ECOURAGED QUESTIONING FAITH. Open Q&A, without saying a dogmatic response - sparking discussion instead.

These cats allowed myself and my peers the latitude to poke holes in all of it, pontificate (apologies on the pun) on our personal viewpoints and challenge any conflicts in Dogma or texts.

Jesuits help combine the scientific reality of our experience with the mystical / religious in a non-judgmental way (IMHO). Pretty powerful and not as evangelical as they may have been as an order in the past.
Reminds me of the grunion, really.
Thanks to Disney, "+" is the industry term for "Streaming"
Google Brain and Deepmind.
no, because they completed the merger already in october last year. The CEO of activision retired in december. They are not independant right now.

Phil spencer, the head of microsoft gaming, is the one that announced the layoffs internally.
Someone local has some kind of i-device (iPod? iTouch? He doesn't remember) from which he would like to extract copies of the music on it. I'm not even sure what to do. I have heard so many horror stories of iTunes just trashing libraries ...

I'm not even sure what I would search for in terms of Windows software or what kind of cable I would need. And Apple's branding is so ... operationally overloaded, overlapping, whatever, I'm confused.
The Mars boondoggles have been doing damage to the space agency's mission though. Other programs including those promoted by the planetary science decadal are being cut or delayed to find funding for the MSL + MSR sequence of flagship missions, for which the science payoff is minimal. All because a huge portion of the standing army of scientists and engineers at JPL have their salaries tied to the MSR missions rather than congressionally approved overhead.
I give it a try:
- Russia gives more into DIB. Putin sees the war as essential.
- Day and Night Production.
- No enviroment laws involved.
The protesting farmers have been blocking highways with their tractors and lighting fires containing asbestos (also on / near highways). You could argue that the former should be allowed as part of a protest, but the latter moves you squarely outside the "law-abiding citizens" category.
> If you squint a little, a file system and a database are the same thing

This is a tale and argument as old as time. It’s the squinting that is the problem. The devil is in the details.
I have tried it both this way and via some tool like import via MS Photos and earlier Picasa. It works for a while but after a few hundred photos, just seems to die. I've had this problem on every PC I own, with all iPhones I own, using a ton of different USB wires and ports. And it seems to degrade over time somehow, the first attempt I might get 200 photos moved, then the next time I get 20. Stuff like that. I assume it was related to the driver because when it stops working, the phone disappears from the file explorer. Of course, it could totally be me somehow, but I've tried everything I know to eliminate user error.
It would help to explain what it does!

-U: do not sort; list entries in directory order
Nicotine is a stimulant: ADHD'ers are self-medicating and probably before they even know they have ADHD. It's not (primarily) because of a lack of impulse control.
Never underestimate a "nutcase's" willingness to additionally grift and profit when it aligns with their nutcase-ness. Delusional but not stupid.
In my mind:

- AppleTV - the all things tv stuff from Apple that I pay once for

- AppleTV+ - all things tv stuff from Apple that I have to pay every month for
On one hand, this is a classic dictatorship move. Senegal just did the same just after postponing elections.

On the other hand, Pakistan really did have terrorist attacks just before the election, targeted at the election. So taking heavy handed steps to protect the election integrity can be explained.
Very Cool, one of the missing pieces to AI being useful in business tasks is dynamic internal validation steps. I would suggest adding a couple of those out of the box. For example if the user expect JSON format out of the LLM, add a validation step that send the output back to the LLM to ask it if it is actually JSON. Then you can expand on that to more validations like "is the output polite". The ultimate solution is having the LLM build the validations itself.
Agree, that depends on your vision of minimalism and stuff.
There are formal credentials, they're issued by the International Coaching Federation, and they include an ethical component. Although this is geared more towards professional coaching, not the woo-woo life coaching crap.
Rust's tutorial isn't single page but it comes with the compiler.

Just run `rustup docs --book` after installing rustup
I agree with that, especially against MLMs and direct scams, that sort of practice is probably very valuable. It gets harder with the more straightforward social-spiritual stuff, and the most effective MLMs blur into those I think.

But yeah, I'm not saying you can't learn & practice techniques to reduce the risk of these things. Mostly just that the false positives of those techniques can have real costs too, and thinking you're immune is itself a risk factor.
I wouldn't call it kernel based. It's not like this is an in-kernel emulation. I would stick with hardware virtualization.

KVM is a userspace API, and kvm-intel/kvm-amd are the drivers for the hardware.

You will be using hardware features. That's also why it is in the kernel: nothing but the kernel should have full unlimited access to the CPU to set this up.

So you could say it must be in kernel to keep the kernel secure. And the performance benefit is "just" exposed hardware features.

The kernel does not provide additional things. As far as I understand: you set up a dedicated memory space and handle traps that halt the execution e.g. when the VM talks to the PCI bus. (It's been a while since I looked this up)

But you need the pieces, especially virtual PCI devices. That's where qemu or VirtualBox enter the scene (or minimalist systems like firecracker). They provide a repository of virtual hardware and all the auxiliary methods to boot a virtual machines. You also need to emulate something like a BIOS or UEFI.

You can think of it as your CPU removing the need to emulate the very same CPU (and a memory controller). You still need to emulate the rest though! But running on the same CPU removes most performance penalties. You run at native speed.

Newer generations can even nest this. Having virtual machines in virtual machines. That's mostly useful for cloud environments so that the cloud provider can run kvm based VMs and you are still able to run VMs inside that VM.
With LVM you can do block device snapshots with virtualizing the whole system, but I don't think there's any way to get around the fact that, e.g. a 1 TB filesystem with 600 GB of files will have 400 GB of garbage that you end up copying, whereas a SQLite or Postgres DB would vacuum itself periodically and actually take up only 600 GB.
Impressive demo video, the UI looks sleek. I'm interested in hearing more about how non-technical founders use it, care to share some examples?
Thank you for finding this.

Edit: nope, "security keys not supported on icloud for windows"

Edit edit: need to first install the latest icloud for windows (which I don't want but fine).
Seems to provide an auth layer so now it works.
I'm sorry to hear that, I'm glad you're still here.

That's one of the reasons why theres a black box warning for Lexapro about the risk of suicide.

I'm told the reason behind this is a significantly anxious and depressed person may indeed be suicidal, but because of their condition are unable to effectively plan and execute the plan. Once lexapro enters the system, the individual can now plan and execute. This is why lexapro should be paired with close monitoring by a psychatrist, and individuals taking lexapro should be made aware of the risk.

Lexapro has been a life saver for me.
Scientists Find Optimal Balance of Data Storage and Time
That's wildly delusional. Russia is aggressive and expansionist so it imagines all other countries must be the same.

In truth, absolutely nobody is interested in invading Russia, perhaps China notwithstanding as it is also authoritarian and carries some bad blood from Russia annexing its territory back in the day. Western countries have no such interest and likely would outright reject any suggestions of returning the lands Soviet Union stole within Europe.

Russia would still of course not survive in its current form without military, but that's because it's a colonial empire that would quickly break apart if given a chance.
Meth heads are REALLY stepping up their game.
There's a free trial available for 2 months. Give it a try
I'm surprised I had to scroll so far down to find a reasonable comment that did not immediately insult Mitchell Baker.

I'm no fan of Baker, but the least we can do is wish her best wishes and hope for a great future for all parties involved. I didn't like her when she was CEO at Mozilla, I don't like her anymore now that she isn't CEO at Mozilla but that doesn't mean I have to resort to shallow attacks on her character. I expect more from HN.

Edit: Corrected mistake about Baker no longer being at Mozilla. Thanks to @M2Ys4U.
Blocking roads with climate activism can get you years in prison, but blocking roads with tractors and trailers of dung is law-abiding.
They're targeting rail infrastructure here, but a lot of copper there is being replaced with cheaper materials like aluminium.
The reason why you've seen so many 2023 layoffs is that companies went crazy hiring during the pandemic.

"From the end of 2019 to 2023, tech companies scrambled to keep up with an explosion of consumer demand, as people stuck at home splurged on new computers and spent much more time online. Apple, Amazon, Meta, Microsoft and Alphabet, Google’s parent company, added a total of more than 900,000 jobs."

https://www.seattletimes.com/business/why-is-big-tech-still-...
Many of the courses offered by the folks a level or two “up the pyramid” include instruction on finding people who are a good fit for your coaching—which, I shit you not, includes not asking too many of the kinds of questions they absolutely should be asking. It’s all about finding someone who’ll fall for your pitch and then directing the rest of the sales conversation away from questions that would reveal you have no expertise or track record of success or wanting to pin down exactly what the intended beneficial outcome of the coaching might look like in concrete, specific terms, and quickly dropping anyone who is too resistant to staying within the lanes you want them to.
They were prevented from leaving. Some of the so-called orphans taken from Vietnam were not orphans, and the US refused to let their birth parents get them back, siding with the American adoptive parents. As reported in the New York Times.
I mostly enjoy this hypothesis because I'm a developer. I like imagining The poor sap that has to deploy us. And what do their logs look like? What does their tech debt look like?

"Hey yeah there's this emergent bug where bad things happen to good people. We would love to fix it but you know the intern wrote the implicated service in Haskell so we would have to rewrite it in Go and nobody has time for that this quarter."
> A state could indict a president for manslaughter for collateral damage from a drone strike

I'm all for it then
This was a design goal for reiserfs, fwiw.
> putting that link in the post announcing her appointment was a bad idea

In what way?

(Footnote: OP’s reply is in another thread.) https://news.ycombinator.com/item?id=39303697
Humans will always be the problem, because there is one immutable fact about humans that history has proven too many times to list.

There. Is. Always. An. Asshole.

Always.
One person one vote: all votes for candidate A on one side, votes for candidate B on the other side, whoever has the vote in the middle (the median voter) is equivalent to whoever has the most votes (the popular count).
Speak Freely was the best, and saved me literally thousands of dollars when I was a post-doc in Australia and my fiancee was still in Canada. I once used it to help with an interview of wearable computing pioneer Steve Mann and an Australian journalist and had to fix an endianess issue to do it.
Yeah, seems like I got that right. That graduate-level course must have worked. But then:

(f (g (h (g z))))

results in:

((((1 * 2) + 5) * 2) * 3) = ... not 17?

while it would work if the type of f was corrected.

Or, again, am I missing something?
Exactly. We have to disregard the entire thing. If we can get more of these images from reputable sources that verify the actual story that's a matter that should be discussed. Given, however, what we have is propaganda in the most explicit form we should not take it on faith that they're honest about any of it.
The theme of your logo is similar to Zapier's latest design with the underscore. If you plan on rebranding, I might consider including that detail in your discussion.
Wow.

If you're going to tar all of Islam by their worst members ("the latter literally convinving people to convert by sword"), you can't object if someone applies the same logic to Christianity.

> Christianity vs Catholicism

Catholics aren't Christian? Sounds exactly like some of evangelical nuts I grew up around. Most of the world views Christianity as a big umbrella, with Catholics and Protestants being two of the major flavors. (Somehow I highly doubt you're Eastern Orthodox.)

> your average non-religious person does not understand the difference between religions

And apparently, neither do you, my evangelical wingnut in Christ.
I've never used social media or had a "problem" with my phone. So I used to read articles like this a little smugly, but I'm growing increasingly discomfited by the notion that I'm...out of touch..?

Yeah, it's probably overall a positive thing that I've never been hooked on instagram, but it's also a language/shared experience with which I have no point of contact. I'm a little worried that not having a social media presence /at all/ is going to turn or has turned from mildly admirable (such restraint!) to...weird.

And it's great to be weird! I just hope that it doesn't impact potential connections in the future.
Oh dear, that statement didn't fare well when I applied bullshit.js.

https://mourner.github.io/bullshit.js/
"Gemini" is Latin for "twin" ("two")
When SpaceX was new almost everyone said the same about what was "realistic". I don't think it's about time to scale up so much as about finding and executing on better approaches.

I agree it would have had to be done differently and not just by spending more (if that's how you take "muster the will").
One company using it doesn't make it the "industry" term. It was the copycats that followed like Apple and Paramount that made it into an industry term. It kind of makes sense for Paramount, but really doesn't for Apple. Par for the course for Apple TV+, barely baked content on a barely baked poorly named service.
Unison user here - you might be right about having to learn the provider's ins and outs, the same way that if you're on AWS, you need to learn AWS lingo.

But with Unison Cloud, most of the complicated API is written as a library in Unison itself[0]. This `cloud` library is technically optional (and editable), and you can build and share your own abstractions as you like, so you don't have that hard rough edge between AWS APIs and your own code.

[0]: https://share.unison-lang.org/@unison/cloud/code/releases/9....
> Sather: named afer https://en.wikipedia.org/wiki/Sather_Tower

And also because it is a derivative of Eiffel — which I think had been named more after the tower than the man, with the purpose of creating an analogy from software engineering to constructional engineering.

> Erlang (Ericsson language): named after https://en.wikipedia.org/wiki/Ericsson

Officially it is after the Danish mathematician Agner Krarup Erlang but we all know that is not the whole story...

Other languages named after mathematicians (in addition to others already mentioned):

Euclid: https://en.wikipedia.org/wiki/Euclid_(programming_language)

Occam: https://en.wikipedia.org/wiki/Occam_(programming_language)

Gödel:
https://en.wikipedia.org/wiki/G%C3%B6del_(programming_langua...
> better at incorporating search results in its answer vs gpt-4 bing

That's odd, I had Gemini repeatedly tell me it couldn't search the web in response to my question (that I was trying to get it to answer from the context I provided).
Show HN: Code Sync – A Realtime Code Editor
Putting your own furniture on your own property is usually quite legal.

You do need to have a plan to dispose of it if nobody snags it, however.
Thanks for the tip. It seems I have it set to "keep originals", if I recall this is one thing I changed when having this issue. It has been some time though since I last tried it (because I hate it so much). I'll give it another go sometime soon.
The first four Val Town runtimes
Thanks. I forget to post that when I mention CU and I appreciate you not only addressing it, but reminding me.
> You're watching a known liar interview a known liar.

You make it sound more intriguing if you put it that way.
lucky you, all the mathematics proessors I've had scarcely know how to work a computer

another cultural difference is the kind of homework they hand out; the difference boils down to whether you hand over a printed (or printable) proof checked by reading through it, or a runnable program or script checked by running it
Boston Dynamics' Atlas tries out inventory work, gets better at lifting
Could you link the change? At least a few days ago virt-manager still seemed to have scaling issues with guest displays, on nixos-unstable. I had viewer scaling on though as a workaround, so maybe I just didn’t notice.
Probably. But Service Level Agreement Terrorism has a nice ring to it.
Who isn’t going to be available to him?

If he can’t find someone better, it’s only because finding that person would be a full time job for him, for an indefinite period.

With the risk of a repeat.

Which may not be an acceptable price to him.