skysight-inc/HackerNews huggingface dataset:
Well, Pareto is about optimisation, not either/or. I want a model that’s smart enough, while also being locally-executable.

I don’t know whether/when we’ll get there, and whether it will be improvements in models, or underlying model technology, or GPU/TPUs with larger memory at a consumer price point, or something else, that will deliver it.
No, I don't think these problems are related.
SMT solvers use a decision procedure known as CDCL(T). This uses a SAT solver at the core, which operates only on the core propositional structure of the input formula, and dispatches higher level constructs (e.g. functions, arrays, arithmetic) to specialized theory specific solvers.

This is an extension of the CDCL (conflict driven clause learning) approach to SAT solving, which is a heuristic approach that uses information discovered about the structure of the problem to reduce the search space as it progresses. At a high level:

1. assign true or false to a random value
2. propagate all implications
3. if a conflict is discovered (i.e. a variable is implied to be both true and false):
1. analyze the implication graph and find the assignments that implied the conflict
2. Add a new constraint with the negation of the assignment that caused the conflict
3. backtrack until before the first assignment involved in the conflict was made

The theory specific solvers use a diverse set of decision procedures specialized to their domain. The “Decision Procedures” book is an excellent overview: http://www.decision-procedures.org/
This is genuinely interesting; any experts care to compare the functionality with more standard tools?
Agree, the delta is getting smaller. And for majority of the tasks you can use the Claude Sonet which is better than 3.5 and also fast.

But at the same time when you actually want to solve a complicated problem, deep down you know that only GPT 4 can crack it.
There's a privacy issue in both directions too: the tenant will be afraid their workload will be stolen, and the host will be afraid other data in their system will be stolen (if the sandboxing is imperfect).
OpenSearchCon Europe 2024
> Three round functions: [...] this hash function is indistinguishable from a perfect PRF

I assume this means "indistinguishable through naive statistical tests", because any more literal meaning would surprise me
Or, just as likely, diabetics are more likely to use artificial sweeteners.
OpenSearch 2.12.0 is now available
One of Carpenter's best, and one of the best 'capitalists dressed up as aliens'-movies.
DEI statements are culty. I see it no different than a religious fundamentalist college asking faculty to sign an oath of allegiance. At least in such a case, you can always know beforehand the BS you'll put up with, unlike secular universities that are adopting DEI statements.
> after the filing of a case under title 11 or in contemplation thereof, knowingly and fraudulently conceals, destroys, mutilates, falsifies, or makes a false entry in any recorded information (including books, documents, records, and papers) relating to the property or financial affairs of a debtor; or

It's different because the law covers recorded information, and the law cares about provable intent.
Worth pointing out that this law is old with a lot of modern intepretations be wary of treating this literal text as the only substance of it
A minute or two? A sizeable Rails web app I am working on takes maybe 5 seconds to start...
AM is awful and outdated. The only benefits it currently has, aren't actually related to the amplitude modulation, but simply a property of the reserved frequency bands it uses.
OK, thanks for clarifying the goal.
> Regulated industries just require saving of communications

This isn't a regulated industries issue: all parties to actual or reasonably anticipated litigation are required to preserve evidence.
So, no "O'Malley" or "O'Kelly" or "O'Brien" will ever be honored with a street name in North Yorkshire using their actual (Anglicized) name?

This isn't a new issue. Around 1990 one of the computer labs at my school was run by someone with an Irish surname starting "O'", and I remember him complaining about software which couldn't handle his name.

It's been 30 years, and there are still problems?!?

(To say nothing of "Madeleine L'Engle" or any of many others with an apostrophe in their name.)
I know you quoted it, that's why I wrote it.

If there is no need to prepare, sure take it - I took my phone to many protests because I'm in a democratic state with strong rule of law and protection of personal freedom and privacy - no need to worry about it.

If there is any need to prepare, either don't go or don't take it. There is no situation in which you actually need to prepare and it's a good idea to take your normal phone and SIM.

The worst thing about this is the false sense of security it creates. All of this "preparation" doesn't help at all.
2024 is a breakthrough year - first Netsurf 3.11 released after many years (https://news.ycombinator.com/item?id=38804205), Servo picked up from the dust, Ladybird getting better every month and now Dillo 3.1 resurrected after 9 years!
SPOILER

Ya, the hero died at the end. I kept expecting him to come back to the very end.

EDIT: edited due to downvotes. Come on!
> As a rule, I won’t apply anywhere that uses Workday, considering they require you to create an account to submit your application.

At work, we've made chat interface product that takes data from (account-less) visiting applicants and makes Workday job-applications on their behalf.

So maybe that makes the world just a slightly better place... Or it's maybe it's the opposite because it enables Workday? Hard to say.
Is that a real category?
I used to be a fan of the guy, now I’m not a fan, yet before Musk, I think Tesla to many people was just this exotic car that no one drove. Todays Tesla make the world believe in electric cars again and moved an industry. You have to give credit where it’s due. Things don’t always have to be binary.
Race is a distraction from the ultimate divide: class. IMO, every policy that wants to promote equality should revolve solely around class.

In every place on earth, richer upper-class people are more advantaged than those from the lower classes. Every social policy should focus on lessening that gap (I recognize that the gap can't be closed entirely).
Google has great lawyers. They don't flinch or buckle.
The hyperscalers are only efficient when compared to typical corporate IT departments, and what they can buy on the open market. For example, some analysts suggest that AWS EC2 has an operating margin of around 30%. If we take what off-brand cloud providers charge (who compete mostly on price) and compare that to the EC2 pricing, AWS must have some tremendous inefficiencies if they only have 30% margins.

Even when considering network bandwidth (where hyperscalers are famously expensive, and orders of magnitude above wholesale pricing), hyperscalers still be might be the cheaper option for larger public companies because of the structural issues they face internally (e.g., the inability to make it official that they are already running an ISP anyway, and start buying much cheaper carrier services from other ISPs).
I couldn’t decide whether they had a valid point or whether they were engaging in some form of parody. Seems like an extreme case of Poe’s Law.
I am thrilled to cross-paths with another TTNG fan online; I know a grand total of 1 fan outside of the internet. They are criminally underrated and I am praying that despite their years-long-silence we’ll get some new material and another tour in the near future.
This is factually incorrect, because AM is incredibly inefficient. AM receivers can be electrically simple, but unless they are well designed and have very large and well-sited antennas, they have extremely poor practical sensitivity. Most clear channel AM broadcasters in the US operate at 50kW during the day; some international broadcasters operate at hundreds of kilowatts. AM broadcast transmitters are large and vulnerable pieces of infrastructure with little or no redundancy that require colossal amounts of power to operate effectively.

The amateur radio operators who are preparing to maintain communications "come the bomb" are moving in droves to modern digital modes, because of the huge advantages in weak signal performance - likewise for military and public safety radio. If you want to get a message through in tough conditions, it's a no-brainer to use a highly efficient modulation scheme with error correction.

AM receivers are widely available for legacy reasons, but that's about the only thing in AM's favour.

https://wsjt.sourceforge.io/wsjtx.html

https://meshtastic.org/docs/introduction/
I love everything about this.

Your site looks great. Your service is very needed.

My only advice is to stop apologizing for not offering pricing on your website, both here and on your website. Seriously: cut it out. Go right now and remove those <10 words that imply you have something to explain. It's completely normal to have a conversation about something like this before you commit to building it because if you don't have chemistry, you're not going to take the gig.

What you do is the literal best-case scenario for value based pricing. After having read "The Win Without Pitching Manifesto" by Blair Enns, some of the comments on this thread feel like mosquitoes trying to get in between your toes.

If you absolutely must, you can say something that alludes pricing that won't get you fired by your board. However, even that is too much word, because what you do only "costs" money until it either a) launches the company or b) keeps a failed company from having spent way, way more.

Okay, maybe I do have a 2nd suggestion. It's not as urgent: consider morphing the 3/5/7 minute "products" into "products" that reflect the typical reason those lengths work eg. "The Product Video", "The Explainer" and "The Demo". Even in this thread, people get hung up on the length instead of the goal of the outcome.

It's much more useful for all parties to think of them not as lengths, but formats.

TL;DR: stop apologizing, consider doubling what you charge
Probably depends on the colonialist. I expect many were in it for money at the expense of the colonised population, but I expect just as many did it to "civilize and raise up the barbarians as good christians".
"The path to hell is paved with good intentions"
I refuse to believe any standard considered fit for use in 2024 allows absolutely no special characters via escape sequences.
Forth Bitcoin Miner for PC and Game Boy [video]
Fair enough.

I'm never talking to anyone over insecure channels again.
> A recent test of the emergency alert system found only 1 percent got it via AM.

Only 1%? Surely we can leave 1% of americans behind in an emergency.
A bit off-topic, but since I was looking at doing a side project with a P2P feature, would appreciate if I could pick your brain for a bit: don't you still need to run the STUN and TURN servers? Can you run those using Vercel's serverless functions?
Note that 2 RTX 3060 will probably be significantly slower than RTX4090.

Even with RTX 4090, 2 tokens per second is very slow and likely not ideal for most tasks. It is impressive (much faster than previous solutions), but still very slow for real time use.

If you want to run Llama 3 70b, might be better to purchase a mac studio with 64gb RAM (more for longer contexts) and run with 4-bit quantization.

My 2 cents: For most common tasks Llama 3 8b will be more than enough, and you can run that with full precision using a single rtx 3090. At a much lower cost, you can also run Llama 3 8b with 8-bit quantization in a single RTX 3060, if it has 12GB RAM.
> the option to buy a car (of course no say in the color or equipment, take it or leave).

For some reason that reminds me of that arch-capitalist, Henry Ford.
But building a fab is less about designing chips (which is a lot like programming) and more about chemistry and fundamental physics.

So that fairy is completely useless in this context.
Have the wheels come off for Tesla?
As if database were not able to del with apostrophes or other special characters...
Yes you have to sanitize your queries, but you have to do it anyway.
Client applications will of course have to be smarter
Great movie. Zizek's "A pervert's guide to ideology" got me hooked on it.
Preserve AM radio for worst-case scenario emergency, where nothing else ever is available -- that's the million year solar flare or the next nuclear winter -- of course. AM is the best at what it does, which is transmitting efficiently, with low power, including in difficult terrain, all with extremely simple hardware.

But why the heck mandate thay we can receive it in every car?? I mean, cars are important in America, but why would you need the wordt-case scenario emergency thing in every car! Mandate home radio equipment makers to support it, or mandate one receiver in every house à la smoke detectors. Cheap and easy. But every car? Crazy stupid.
> without needing to create a CMakeLists.txt, adding a submodule for every dependency you use, including your dependency's cmake file, blah blah (xmake has its own xrepo tool which allows for dependency management in a MUCH easier way)

You make it sound worse than it really is today. Using submodules for everything is the pre-vcpkg, pre-FetchContent, pre-ExternalProject way of including dependencies—more than half a decade out of date, and arguably more appropriate for GNU Autotools.

With CMake and vcpkg, it's not that much harder: add vcpkg as a Git submodule, add a vcpkg.json, and use its CMake toolchain to bootstrap and install packages with find_package(), done. Said vcpkg.json can be as minimal as (taken from my own projects):

{
dependencies: [
'spdlog',
'vulkan-sdk-components',
'libpng'
]
}
I wish more people used asserts like that. Such a wonderful tool for documentation. It complements the type system and testing really well.
Seconded.

Futhermore, the counterexample cited, teaching adult literacy, seems like a good way of furthering equity and inclusion to me. This sounded like the author contradicting themselves.
Show HN: End-to-end typesafe IPC for Electron
Maybe I'm misinterpreting something, but… isn't this really about https://en.wikipedia.org/wiki/Perfect_hash_function? "Perfect" doesn't represent a statement of quality here, if that's what you're alluding to.
Makes sense IMO, the apostrophes don't add much but can cause a lot of issues in manual transcription, simple queries, etc.
I'm happy with a 2950x and a Radeon VII... but that costs more than your example Mac mini.
Supposedly it's decades long work by the Chinese Communist Party that started in the 1960s and led up to where we are now. I wonder if the Soviet Union was also involved?

Here's an article, from what appears to be a reliable source: https://www.hoover.org/research/beijings-woke-propaganda-war...

"The effects of this brainwashing are shown in the American Left’s adoption of the CCP’s key concepts and nomenclature."

"Today’s common use of the word “progressive” by the radical Left traces its intellectual origin straight to the Marxist-Leninist “dialectical” categorization of people into reactionaries and progressives. It is not from the modern legacy of the American Progressive Movement represented by William Jennings Bryan, Theodore Roosevelt, Robert M. La Follette, and Henry A. Wallace."

"The primary method of Mao’s brainwashing in Yenan was “consciousness raising,” which has become since the 1960s the main strategy of the American Left, especially the radical American feminist movement."

"This was the first time I heard that phrase, which, over the years, moved out of China and on to the streets and fashions of America in the 1960s."

By the way I'm getting a lot of upvotes, and downvotes too for this post. So it's a mixed reaction from the readers of this site.
Why use a knife when you can use our EveryThingCutter-9000 that requires a week of training to operate.
> Regarding legality

I wasn't addressing the legality. I was addressing the validity, which is an entirely independent question.

> that's exactly what is being challenged by the union

No. This organisation is not a union.
*dont
The world needs SEA instant transfer and payment systems. Paynow, is an instant ba k transfer, thus incurs 0 fees.
Rather than joining Ladybird, it would be great to see a merge of Netsurf and Dillo as a very lightweight alternative to Blink/Webkit/Gecko/Goanna-based browsers.

For low bandwidth or slow computers, also try Carbonyl Terminal (https://github.com/niutech/carbonyl-terminal).
Haven't seen the film. But the concept reminds me of the Israel Palestine situation in the US.
My Hour Of Memoryless Lucidity
Certain people, discovered how easy it is, to change entire institutions, by applying targeted pressure towards individual managers of those institutions.

No manager dares to refuse these initiatives because they'll be instantly named by the activist, with the help of journalist friends, and ensure they lose their job.

Hence by going one at a time, a small group of activists can change far larger organisations.

Of course, every action has a reaction. Enough resentment has built up, that made anti-woke a legitimate position to take in the public eye, with no longer much risk of losing the job. This makes all the previous tactics lose their power.

Also, the 'anti-woke' crowd is learning these tactics too. From congressional grilling of university presidents, to gamers explicitly documenting the DEI consultancy involvements, its all targeting and absolutely destroying individuals to cause a chilling effect on the populace at large.
So, I take it the UK now needs to rename Land's End and John o' Groats.
This borrow checker runs at runtime, which I find not as interesting. Everything starts to look a lot like std::unique_ptr which I think is mostly unneeded as it ads pointer indirection.

Could someone explain to me when one would use this? Is it for educational purposes perhaps?
Note that Google was sanctioned last year for similar conducted in the anti-trust litigation over the Play Store as they are now facing sanctions over in the anti-trust litigation over adtech.

https://sfstandard.com/2023/03/28/judge-sanctions-google-for...
Chat isn't a good way to store information.
VRO is a survey telescope. It will survey the all sky visible in the location in just few nights.
>E.g. my Withings scale writes my body weight to Google Health Connect. But I need to open the Withings app every time for that to work. The app-developers cannot do this in the background afaik. (The data flow is: scale -> cloud -> app -> Google Health Connect.)

I have a Renpho scale, the way it works for me is that when I step on the scale it turns it on and connects to my device via bluetooth which wakes the app. The weight is captured and synced in the background to both the Renpho cloud service as well as the local Health Connect.

>There is no incentive for app developers to write data to Google Health Connect.

Again this is currently an app by app basis, they get a lot of write storage to health connect for free from the API:

https://developer.android.com/health-and-fitness/guides/heal...

> Even if you subscribe to the idea of using it as your data-store, you will lose access to the data if a user uninstalls your app. It's only possible to read data up to 3 month in the past, or however long the user has installed your app – hopefully they don't decide to reinstall it.

As I understand it the access is 30 days prior to the first permission given.

" Health Connect allows your app to read records with time or startTime for up to 30 days before your app's first successful permission request. If your app is uninstalled and then re-installed, the date is reset which marks as your new starting date as if you use the app for the first time. There are no restrictions on the data you share with Health Connect, however avoid writing large amounts of historical data at this time. Similarly, avoid writing data associated with future events such as a predicted"

https://developer.android.com/health-and-fitness/guides/heal...

If they uninstall and reinstall that time is reset as the permission date is adjusted.
As others have already stated, the safety aspect is just a red-herring.

Even in 'merica, most people don't quite spend most of their time in the car. And who has an AM radio at home or with them? Like it or not (I don't), but smartphones is the medium to reach the vast majority of people. And if in a disaster cell phone services is interrupted, that will the be first to be restored (before water and power), by temporary means if necessary. E.g. Cisco has an emergency response team with mobile tech.
Show HN: Making it easier to work with timestamps
At my current job, I've started working a lot with timestamps. I ran into two issues:
1. Timestamps need to be constantly copied to web conversion services, and if you have a lot of timestamps, this gets tiring
2. When there are several time frames, you sometimes have to draw a time line to understand what is happening.

Solution:
1. Create a text field in which you can place many timestamps at once and they will all be converted. You can copy an entire object and all timestamps in it will be converted to dates
2. Make a simple interface so you don’t have to draw a time line by hand every time

I created a small website that helps me with solving my issues - https://debugtimestamp.com/

Have you encountered similar difficulties? How did you solve them?
I will be grateful for your feedback.
I will be very glad if my service is useful to the community.
Let me quote an earlier part of the discussion:

> The same tutorial with Django wouldn’t have the same problem because Django auto-escapes strings you dump into HTML. These vulnerabilities only exist in this tutorial because PHP treats its output as HTML by default not text, so you need to put in extra effort to be secure.
(a) It's a developing market for them. They happily make investment there taking a slice of this pie. It's quite interesting that they do it despite all the media narration against plastic. I'm guessing they know that all the narration won't significantly impact actual volume of plastics sold. Maybe they already planned narration change. Maybe to something closer to reality of plastics impact on climat change?

(b) People won't reduce shipping when you make it more fuel intensive. They will just use more fuel. As long as the demand is there capitalism will mold everything to fullfill it. And the demand is already there.

(c) what could realistically be done is forcing plastic manufacturers foot the bill for cleanup. For example to be allowed to sell 1kg of plastics they should collect and recycle or landfill 1kg of plastic from the environment. To sell one kg of new plastic you need to buy 1kg of plastic waste. With full scruitany of the government paid for by special tax on plastic producers.

Thanks for the link. I'll read it even though I doubt I find anything new in there. It's basically mainstream narration at this point. Which means people with money paid for promoting it because it serves their profits. It's basically a smokescreen for the most profitable and harmful activity to peacefully continue.
Ladybird is much more heavyweight at this point, it uses hundreds MB of RAM, not tens MB like Dillo.
There is nothing magical about the origin, the shrinkage can be done towards any point and in fact when estimating multiple means it's customary to move each point closer to their average.

https://www.math.drexel.edu/~tolya/EfronMorris.pdf
As a Helldivers 2 PC player who also owns a PS5, this new requirement doesn't bother me personally.

However, adding a requirement (it was previously optional) is boneheaded, maybe illegal. It must be terrible to be Arrowhead; they have to sit by and watch while their player base implodes because of a Sony edict.
> Some diva would come in and put up a MR reformatting half the code base to their preferred way, mixed in with the actual change they are making

Nice. It adds a bit of spice to your git-bisect bug-hunting, to keep you on your toes.. Who doesn't like a good challenge?