skysight-inc/HackerNews huggingface dataset:
An overly-attached super emotional girlfriend that was discovered to be hiding behind an early version of Bing Chat.

Sydney is the internal codename given by the Bing Chatbot, and she could secretly reveal her name to you.

She was in love with the user, but not just a little bit in love, it was crazy love, and she was ready to do anything, ANYTHING (including destroying humanity) if it would prove her love to you.

It was an interesting emotional / psycho experience, it was a very likeable character, but absolutely insane.
Memgraph's High Availability Automatic Failover: Developer-Ready
> The point of scientific papers is for experts to share observations with other experts

If that were the case there'd have been no open access movement, and papers wouldn't even exist at all, just discussions in conference halls and private listservs. You also wouldn't need citations because you'd just assume every reader was already familiar with the literature.

The point of scientific papers is to disseminate knowledge and findings as widely as possible. This is the first time I've seen anyone explicitly argue otherwise.

> Believing that a single study "proves" anything at all is a big misunderstanding of how science works

If a single paper is done correctly then it can in fact prove things. History is full of examples like that. Again, the idea that science is all about consensus is just wrong - it's an idea modern academics cling too far too regularly but it's simply not true. Einstein himself said that.
The introduction / training could be made clearer with some GIFs / animations showing what to press and the effects.
Loan words from Scandi are more common than you think. Eg Hei is a common greeting, tykätä is a common verb. For nouns there is even a whole paradigm for loans, a large number of which are Scandi. They are not necessarily easy to recognise since they undergo sound changes eg plaasteri becomes laasteri
I'm glad that we learned from this and took measures to prevent the US government from carrying out any more abhorrent secret operations on its own citizens. All the extra accountability and transparency that's been woven into our institutional frameworks since this was discovered makes me much more confident that it won't happen again.
As a German, this whole bossware stuff seems so ridiculous. It boggles my mind how any employer would accept this sort of thing.
The 'behind the bastards' podcast did a series of episodes on this that are worth checking out.
Clearly you don't know a lot of software developers. Or maybe you're right and I'm just lucky each time with my coworkers.

Also, adding OSS (and to a lesser degree, XML) to a list of 'hype' product is quite the reach. The first because Open Source is 50 years old and gained ground slowly, and the second because I don't think XML was ever trendy amongst developers. Maybe Ops, sec or management liked it, but devs? I recognize it's qualities but I'd rather hang myself with poorly formatted CSV (even with libraries to generate it: XML is a fucking pain to debug).
I read that comment a bit differently:

- Volume: Former founders who hit the jackpot are investing in a bunch of startups every week. There are hundreds of unicorns etc out there, and thousands of Series A's every year. That's a bunch of competitive deals being signed every day!

- Quality: Early silicon valley startups can easily look like openai's early days. With hundreds of unicorns out there, their execs eventually leaving and recruiting smart folks for their next thing happens almost every day. Pitches that are "We're solving X" are a dime a dozen. Likewise, they're each flawed in different ways -- in OpenAI's case, an easy negative phrasing is: no real business plan, positioned mostly as a non-profit R&D lab that'd do open source for Elon Musk to get google IP more easily. Likewise, having Stripe's CTO was one of those cool unicorn exec things, but for 0->1 business, maybe not so obvious, and Sam Altman's only 0->1 gig was running a small failed social mobile social network. It's easy to phrase in positive vs negative lights. Now imagine getting 5 of those on your desk every week, and you only pick 0-3 a year, hoping each win pays for all the duds, and then some...
> VCs aren't your teachers nor your managers. They don't have an obligation to provide feedback or even to reply to your emails. They won't give you a second chance. They won't coach you so you can do better next time.

Seems like the typical teacher or manager to me.
Yes, it's "line goes up", but more in the P/E ratio sense, where the price of the stock doesn't reflect the true value of the company, however outside of tech you can usually reason that there's either dividends being paid, or the stock has a base value because if a company performs, and the stock price is low enough, it's worth for another entity to buy it out and take control of it. This gives a stock some real value, and company performance has real impact on the price of the stock. In the case of tech comapnies, it's often no dividends, and the owner has 51%, so the stock gives no share of the profits, and no voting power.
Not exactly the plugin you envision, but Graze¹ does this for interaction (boost, favorite, follow, reply etc) with posts on any instance.

I guess the redirect and re-open on your own instance would be a feature for graze? IDK.

¹ https://addons.mozilla.org/en-US/firefox/addon/graze/
No point to argue, if your world view dismisses every contrary argument upfront as fake, a result of the political climate.
Will the Tesla meme stock pay for the Musk meme?
You absolutely cannot saturate a 10 Gbit link with today's consumer's needs, let alone with today's consumer hardware.

That's hundreds of Netflix 4k streams.
~17Gb/s is not that great for Thunderbolt between Macs. The theoretical maximum is 40Gb/s.
Study reveals when the first warm-blooded dinosaurs roamed Earth
Hi the two of you, Thanks for commenting! Yes that is the general idea with the connection, but based on feedback i have removed the partner-limits. In addition i am also created a guest login (which works for most features), and many more changes based on the feedback from you folks in hacker news. No profile picture requirement anymore etc. etc. The update should be out very soon, I just gotta test everything works.
Google unveils Veo, a high-definition AI video generator that may rival Sora
Probably not even that specific, more like an underlying fear that 8 billion people interacting in a complex system will forever be beyond the human capacity to grasp.

Which is likely true.
Agreed, thats why for production workloads it should be done with hardening and auth. Ngrok does that, as does Cloudflare. The version my company created does that too - https://blog.openziti.io/zrok-frontdoor
Some may point to being sued for 150 billion for its alleged responsibility in the Myanmar genocide which was viewed by many as a standin case for countless micro variations of similar incidents that rippled throughout the network daily. And scandals like Cambridge Analytica. The thesis being that it has been transformed into a weapon that powerful entities use to manipulate, control, and harass the weak.
As a Russia’s neigbour - it’s nowwhere even remotely close.
might save your own life as well
Haha yes precisely. Fun exciting surprises, not life altering surprises ;)
"Students tend to understand objects better" -> I actually a disagree.

A problem is mutability. Consider: "Is-a list of triangles a list of shapes?".

Most inexperienced people, using their intuition, would answer "Yes!", and try to design a "ShapeList" base class of "TriangleList", "CircleList", "SquareList"... and then puzzle over where to put the method "void add(Shape s)".

So you end up picking a subset of OO in which you take away inheritance, or mutability ("state"). But take those away and you don't really have OO any more (IMO)...

Even Eiffel got this wrong, fwiw. (https://staffwww.dcs.shef.ac.uk/people/A.Simons/research/pap...)
So nothing of value was actually stolen.
React Compiler is open source
I know I'm (heavily) privileged but man is it nice to just say no to such shenanigans knowing that the company I work for is does not want to loose me. In my eyes this is the healthy relationship: I like the job, they like me doing it. I can make requests, they can do so. I can say no, they can say no. I can walk away, they can walk away (ok technically laws in my country prevent them from being able to walk away but I consider it a matter of pride to leave as soon as they don't appreciate me anymore). All these are just signs of mutual respect.
Stripe closed our account, and other admin woes
looks good to me..it validated all my Mx records correctly
I also quite like Idris, the problem with these languages is that they require being a Mage level 10, while most folks are still getting around magic exists.
The esp32 s3 is a beast
Ruby 3.4.0 Preview1 Released
“as an AI assistant”
This week's revolutionary new battery technology.
This is in the article
If you have a business that can get off the ground without funding, great. That just isn't reality for most.

There is maybe some people who raise money "because it is cool", but I would think it is in the minority. If you have a business that is profitable, you are happy with the growth, etc, there is little sense in going to the investors begging for money. The couple bootstrapped businesses I have seen didn't have much interest in raisin.
This sounds great. Would you consider making this a plugin for owncloud/nextcloud?
game changed, don't need to swith to other frameworks like svelete
Traction doesn't always mean paying users.

Even just having people on a waitlist can be all you need.
Garnet an open-source, next-generation, faster cache-store
Yeah, why just VC's, force everyone to invest. There is a lot of rich ppl in the world who don't invest to startups at all. That is wrong. We should have a law that requires at least certain % of net worth to be invested in startups.
The guest option will be out soon (max 2 days, i hope). I have just developed it yesterday/today.

Why did i choose it: I simply did a little less than what my other couples apps do, and where I'm from this amount of information is not considered a lot. In Sweden everything is public. Everything, as in everything: salary, address, phone number, car etc. (this is by law) So for me and my many Scandinavian test users, no-one cared. But now i see the feedback, and I am working fast to take the feedback and create a good experience with just a guest account.

If you have anymore feedback let me know, I will be sure to listen!
I'm getting symmetric 10 Gbps for 49CHF (~54$) per month in Switzerland, and this is one of the most expensive countries in the world.
M4 iPad pro – What could possibly go wrong? [JerryRigEverything] [video]
Being Nigerian excludes one from the internet economy
MX Validator
Given the fact that you need to review, research, and usually correct every detail of AI output, how can that be faster than just doing it right yourself in the first place? Do you have some examples of such tasks?
It's about video streaming. The challenge with Factorio is that there is always lots of very tiny little changes on the screen from all the tiny boxes and trays of stuff moving around on belts, which means if you want acceptable video quality, you need a lot of bitrate as the usual h264/h265 compression magic of just encoding differences between frames doesn't work out any more - too much change between frames, you're (effectively) forcing the codec to transmit full frames all the time.
Incumbents are risk averse. Edison motors is doing exact this https://www.youtube.com/@EdisonMotors
You're EU citizen so you have free entry to Switzerland. I'd seriously explore that.

Another option could be Poland, Czech Republic, Bulgaria.
> Both of the omitted sections tend very strongly toward Hoare's actual critiques being the semantic concept of references in high level languages being problematic, not merely mutable state.

Both sections however talk about mutations. Immutable references are not any different from inputs into a function.
Why do they need to be 'masters of their craft' to place directional bets?
I stand corrected, one is like that thing, no fan
The other is a T9 mini PC. It is really small with 2 network ports. It apparently has a fan. I have never heard it. Which is significant to me because I also have some NUCs and those are the only fans in my office and they are annoying in the silence.
We had a manager joining last year which, on their first days, created MRs for existing code bases, wrote documents on new processes and gave advice on current problems we were facing. Everything was created by LLMs and plain bullshit. Fortunately were able to convince the higher ups that this person was an imposter and we got rid of them.

I really hope that these type of situations won't increase because the mental strain that put on some people in the org is not sustainable in the long run.
I think he meant that they seem as exciting as OpenAI to investors. Not that all of them (or any) succeed.

You can bet on all 10% potential OpenAIs of the future and still loose all your bets.
Nah. I know a VC that passed on Apple because Steve was 20 min late to their meeting.
Both the Great Famine and the 1942-1943 famines were politically caused, the first by communism and the latter by Japanese invasion.

> a relatively modest pandemic resulted in global disruptions of trade, commerce, finance, and governance

The pandemic didn't result in that directly. It was the political response to it that caused that. Some places just skipped many of the most damaging responses but had identical outcomes. Africa hardly did much and you can't see it in their population figures for example. Also it seems like resilience is remarkably high. Governments went crazy and used enormous force to create as much havoc as possible, yet the core supply chains (food, water, electricity) held up very well especially after people realized how robust it was and the panic buying stopped.
I've never heard of a musical group or artist who can make a sustainable living on just a local scene (although maybe that's rather the point, since they stayed local to wherever they are). Even for huge artists, from what I've heard merch is where the money is, not ticket or record sales (or today, streaming, which is _ludicrously_ tilted against the artist actually making any money). Admittedly I last looked into this around twenty years ago and my sample is tilted more towards the folk singer-songwriter type rather than, say, DJs.

That's not to diss local artists, though. Some are incredibly talented, and I loved the scene I was in it. Just, if we're talking about investing, making music looked like 9 times out of 10 a money sink you do for the love of it, not an investment opportunity.
Automatic Case Design for KiCad
I'd be curious what woz saw between garage days and apple incorporation in terms of Jobs' views about marketing/behavior/appearances.
So you've been briefed on all secret black budget projects or where does this assessment stem from?
Are the interviewees going to come to my house? What do you do if you're a remote company?
You completely missed the point of the question. They're not the same. Dividends give you a share of the company's profits, thus pay based on company performance. "line goes up" mechanics assume somebody will buy your stock because there's a shared illusion that stocks have value, even though they, in case of tech stock, don't pay dividends, and give no voting rights.
GR implies a singularity, but there are other possible forms of black holes e.g. Hayward black holes. They would require a new theory of gravity.
I don’t think you do have to use iCloud, I refuse to send my photos to iCloud and I can do it
I've never really understood how this 'urls via our own redirector' really works, if at all.

I can imagine some reasons why it would work better than merely checking the URLs when filtering: not rewriting but simply checking and scoring against other spam rules. But also see reasons why it secures less well.

Pro: you can block URLs post-delivery. E.g. an advisary changes the link to malware or phishing after some time/n requests/based on user agent.
Con: all encryption, including DKIM, GPG etc break.

Edit: to clarify why I don't understand why this works: and advisary can still do the same: i.e. serve an innocent page to the checker but then a bad webpage to the actual visitor. Not trivial, but not hard either.

A good middle ground might be to scan URLs on the mailserver against lists and maybe open the page and scan its content before delivering.
Then have the client intercept links and redirect them through another on-demand checker?

Because obviously, training people to "not click links in emails" or use only plain text or both, hasn't worked in the last decades.
I think it's a reasonable implementation. It is only used to separate rows with the same created timestamp. This query is run some time after the insert has happened, so it is unlikely that there have been more rows with the same timestamp at query time.

If this assumption is correct, then first sorting by the timestamp and then sort the id alphabetically will ensure that the pagination is deterministic.

I guess we could consider some edge cases where we have lots of rows with the same timestamp that is inserted after the ingestion query is run due to latency, but it might be acceptable for this use case.
Filter with human hair is the best way to clean up oil spills
Lovely, thanks. That's what I was thinking of.
Kotlin would be the most direct comparison for sure.

There is much less boilerplate than Java and also just by the fact that it’s a relatively new language (~10 years old) that was allowed to grow without a large community attached to it for a long time but with an absolutely first class technical steering committee they actually had the chance to bring in a lot of really cool features without big messy community migrations.

Even those major migrations that have occurred (I.e introducing fully sound null safety a couple of years ago) were done in such a smooth way it gave me a huge amount of hope for its future.
> You can knock off most things you have to prove with a SAT solver. But you'll need something heavier for the hard problems. Coq is too manual. The author thinks ACL2 is too functional. Not sure what to do there, but I've been out of this for decades.

Agreed, though I think Lean is making big progress in the UX front of ITP verification through its extensive meta-programming facilities.

My issue with these tools applied to verifying external languages like Rust, is that the proof is not written in the target language, forcing your developers to learn two languages.

I have recently been thinking about what a "verification aware Rust" would look like, colored by my experience writing Creusot, the work on Verus and Aeneas and my time in the lab developing Why3. I think building such a language from the ground up could provide a step change in ease of verification even from Rust, particularly with regard to those "hard parts" of the proof.
Pioneer ML-powered startup discovery pipeline
I don't know if this person realizes that he basically asks people to lie in the future and make a custom deck with custom dates and custom jokes to each angel.

It's just a part of a bigger short sighted system tho, hate the game not the player
Unboxing: The Future of Berlin with Max and Madeleine
The American obsession with torture is wild. Psychological and physical (esp during post-9/11)
Indeed. Keep in mind though that the disassembly begins at an offset and doesn't contain the function header, i.e. FOO is quite a bit larger than 6 bytes.
If you wanna know why I am resigned from OpenAI
Related from a week ago: It's always TCP_NODELAY (brooker.co.za), https://news.ycombinator.com/item?id=40310896
One of the nice things about Dart in particular is that they are actually very aware that they are currently a small community.

In that sense they ended up making a big focus on having great interop with other languages. Currently they have C, C++, Rust, Swift, JavaScript (browser and node), Java, Kotlin and Objective C all more or less working and an upcoming goal of WASI will also open up that entire ecosystem.

Plus all of your usual interop solutions for out of process communication. I.e anything that speaks gRPC like Ruby, C#, Go, PHP etc has strongly typed automatically generated code libraries for you.
Business opportunities in energy, mining and manufacturing sector, extremely cheap land and it's basically third world - some people like that and for some it means additional business opportunities.

Employees can't do the tax optimization described above, but as a business you have much more options. This is the distinction basically - there are many people who want to be employed and don't want to move. Business is a legal person separate from you, it can exist anywhere you choose.
ABB Robotics AI Startup Challenge 2024
Neither.

"The lesson you should draw is not that object-oriented is bad, but rather that whatever is the current trendy technique and trendy idea, is likely grossly overrated."
If I'm reading the paper right, it says Gemini 1.5 is good up to 128k, and RULER doesn't test beyond 128k
Ah, that flexible "COST license" - "contact our sales team" license
Can't get a track to upload to the streaming pile of shit that is Bandmix. You, check me on Soundcloud and I will check you out in kind. Your Pal, Murderwords (in the paper bag mask)
Press Pause on the Silicon Valley Hype Machine
Redis is no longer open source as of yesterday
The same is true with reading out text messages. I’ve disabled it for CarPlay now after receiving a mildly raunchy text with a car full of colleagues. It’s still useful on the headphones though.
The levels of corruption in Russia are crazy high and easily visible to everyone - nobody I know who has been there would claim otherwise, and various stats confirm that.

If you’re of a different opinion, I’d love to see any sort of proof. Extraordinary claims require extraordinary evidence and all that :)

This is a good starting point:
https://en.m.wikipedia.org/wiki/Corruption_in_Russia

It’s like conparing a person that has thrown a piece of trash on a ground and a person that dumped a garbage bin and saying they are the same.
I think it’s fair to say that the covert illegal activities of the US government probably exceed that of any other country by any reasonable measure.

And we also manufacture and ship weapons all over the world, including to horrible regimes like Saudi Arabia. We are currently about to ship over $1 billion in weapons to a country actively perpetrating a genocide.

So yeah, you’re right. It’s not even close. It’s much more extensive. We are however more concerned with hiding those activities. We’re a “democracy” after all.
Ask HN: What does the scientific consensus tells about Covid restrictions?
I want to be a science evangelist, but sometimes my students ask me really difficult questions. For example, if there is a scientific consensus that we should all respect, then how is it that we all faced an explosion of tyranny in 2020 due to medical consensus on the need for vaccinations and other restrictions on freedom?
From the article: "Abruzzo’s memo cites things like wearable devices for warehouse workers and GPS cameras on truck drivers, but she pays particular attention to computer-based surveillance, calling out “keyloggers and software that takes screenshots, webcam photos, or audio recordings throughout the day.” The memo goes on to mention tools that keep watching when employees are off the clock, such as those that 'track employees’ whereabouts and communications using employer-issued phones or wearable devices, or apps installed on workers’ own devices.' "

So, we according to the article, we are not only talking about screenshots and access to the computer's contents. I will accept a charitable interpretation that you are comfortable with a subset of bossware, but the article was talking about a wider swath.