skysight-inc/HackerNews huggingface dataset:
Merklemap is running PostgreSQL as the primary database, currently scaling at ~18TB on NVMe storage, and around 30TB of actual certificates that are stored on s3.

The backend is implemented in Rust (handling web services, search functionality, and data ingestion pipelines).

The frontend is built with Next.js.
No, that is too cynical a take. The UK gives a lot of resources to Ukraine, has offered 'boots on the ground' as part of a peace deal, and is increasing its defence going forward.
The vast majority of my communication is not in text. Most of what I have written or typed is not in anyone's database. I'm not sure how that compares to others.
I read the discussion. What does unrelated views not expressed on your subreddit matter. Why the need to get rid of a mod who at worst has a sidebar to other subreddits they control. If the mod is black, white, Asian, wears fur coats or believes in a flat earth; none of that should matter unless it's affecting your subreddit. Let people be themselves you would be surprised by many of your co-worker real life.
> In my entire office, there's one overweight person that I know. Out of thousands of employees.

That seems incompatible with the numbers that show something like 3/4 of the US population being overweight.

(And yeah, BMI isn't great, but it works pretty well with an aggregate population of sedentary individuals, which the population at large is.)
I have been reading similar big promises about Ozempic specifically. I’ve seen calculations on the impact over airlines and many others things.

Wouldn’t be easier just to look what happens in countries with low obesity rates? Certainly its good but doesn’t appear to be 100T good.
Colorado also has one: https://oit.colorado.gov/colorado-digital-service
My main concern is Verizon was moving from point to point copper to ip over fiber (for midsize and larger airports). Starlink is ip based, but is much much easier to interfere with its operation. We've seen successful jamming happening in Ukraine.

I don't mind the idea that starlink would be useful for a ton of smaller airports that the fiber buildout would be extremely costly for what they provide, but the idea that JFK shouldn't use hard lines terrifying.
40% of Americans are obese and way more are merely overweight. Either your office is small, a huge fluke, weirdly selected or you're not observant enough.
Ask HN: What less-popular systems programming language are you using?
Less popular or less commonly used ones.

By that, I mean, not including the usual suspects, such as C, C++, Rust and Go (I know the controversy about the last one being a systems programming language or not).

I'm asking this because I used C for both application programming and systems programming, early in my career, before I moved to using other languages such as Java and Python.

And of late, I've been wanting to get back to doing some systems programming, but preferably in a more modern language (than C) which is meant for that.
Nothing wrong about wanting to look hot if the danger level is not high. I haven't heard about people trying to use them to aid an eating disorder, like diabetics do with insulin.
Dear Student, Yes, AI is here
> If Ukraine looks like winning at any point, Putin may escalate to tactical nuclear and we can't risk that.

I don't see why they would do that, seeing how they want to annex this land. Kyiv holds significance cultural importance to Russia.

Ukraine made a foothold in Kursk, but it's looking like Russia will be able to take it back over time.

> What happens then?

Doesn't it look likely that at the very least Russia will annex parts of Ukraine?
Unless you know what cognition is, it's not inherently ridiculous that a bunch of nerds with a thousand GPUs are going to make a machine think. What's ridiculous is that, when we don't understand human cognition, a bunch of nerds are sure they're going to make a machine think, and how close they are to doing it.
Depends on the occupancy. For a 2BHK I would say 800 is small. For a 1BHK, it is good.
> Sorry, but you did not read carefully that good article and you did not read the AMD documentation and the Intel documentation.

I think you are the one who hasn't read documentation or tested the behavior of Zen cores. Read literally any AMD material about Zen4: it mentions that the AVX512 implementation is done over two cycles because there are 256-bit datapaths.

On page 34 of the Zen4 Software Optimization Guide[^1], it literally says:

> Because the data paths are 256 bits wide, the scheduler uses two consecutive cycles to issue a 512-bit operation.

[^1]: https://www.amd.com/content/dam/amd/en/documents/processor-t...
N. Korea's smartphone "Samtaesung 8" revealed
Simple, Putin can simply withdraw his troops back to Russia. Instant peace.
The existence of DoH hurts DNSSEC, it doesn't help it. While privacy is the motivating use case for DoH, it's also the case that on-path attackers can't corrupt the results of a DoH query; they have to move upstream of it.

The dream of TLSA as a bulwark against suborned CAs has always been problematic, because the security of TLSA records collapses down to that of the TLD operators, the most popular of which are state actors or proxies for them, and most of the remainder are essentially e-commerce firms, not trust anchors.

But that doesn't matter, because TLSA as an alternative to the WebPKI is already dead on arrival. So many people have problematic access to DNS that no browser can ship hard-fail DANE; in the (extraordinarily unlikely) future world where mainstream browsers do DANE, everybody will have soft-fail DANE falling back to the WebPKI. So, instead of a small number of (state-run!) PKI roots, you'll have the thousands of legacy operators plus the state-run PKI roots.

This problem motivated the design of "stapling" protocols, where we'd basically throw away the DNS part of the protocol, and just keep the TLSA records, and attach them to the TLS handshake. For several years, this was the last best hope for DANE adoption (read Geoff Huston on this, he's a DANE supporter and he's great), and it all fell apart because nobody could get the security model right.

It's at this point I like to remind people that the browsers basically had to shake down the CAs to get Certificate Transparency to happen. They held almost all the cards (except for antitrust claims, which were wielded against them) --- "comply with CT, or we'll remove you from our root program". But browsers can't do that with DNS TLD operators; they hold none of the cards. So, in addition to the fact that there's no "DNS Transparency" on the horizon, there's also none of the leverage required to actually get it deployed.

DANE does not work. DNSSEC is a dead letter. It's long past time for people to move on. I have a lot of hope for what we can accomplish with ubiquitous DoH-like lookups.
I entirely work with museums, where there are lots and lots of considerations in re: rendering device. The considerations for eg a commercial display are a little different, but I don’t have experience with working with those sorts of clients, so my answer is from the perspective of the media art context.

Having a separate box is just good separation of concerns - you can hook it up to whatever kind of projector you like (one projector might cost as much as $100k!), or you might need to use an analog display device (eg a CRT monitor) which certainly won’t have any USB/SD compatibility, in which case you will need some sort of hardware to convert signals appropriately. The separation of concerns just gives you much more flexibility.

Additionally, as mentioned before, you can network the boxes, which lets you do things like creating multi-channel synchronized video art installations.

Most BrightSigns also have GPIO pins on them, so I’ve even done things where I’ve synchronized kinetic art to the video playback.

You can write entire custom applications for your brightsigns (or plugins to the BrightAuthor configuration engine) - it’s just its own self contained platform, so there are a lot of benefits to having it be agnostic to the display.
Image-based development is a dead end. Whatever one's feelings are about interactive development, any system that relies on information that was typed into a REPL three-months ago and is now only stored in the binary state of that REPL and nowhere else is totally insane as a production product.

And this is unfortunately how most Lisp tooling still works. Quicklisp and friends assume you're fulfilling external dependencies by evaluating things in the REPL. This is without mentioning that the entire ecosystem of external dependencies ships monthly as one monolithic group. Versions? Lockfiles? Nah dog, give me "October 2023".

The only person trying to fix this if Fukamachi with Roswell and qlot, and those are very recent projects (in the scale of Common Lisp), that have gotten irrational amounts of resistance from lispers. C now has project-local dependency management thanks to vcpkg/conan/Spack/etc, but lispers still insist that ~/common-lisp is good enough for every single project they will ever work on.
No one mentioned centralised planning until you brought it up yourself. This is just boring red-baiting.
The Turing test was never a standard benchmark. It was common in pop science coverage, but no AI researcher (including Turing himself!) ever proposed it as a useful test of intelligence. It was an illustration by Turing that we can meaningfully talk about a machine thinking in the first place. We've known for over half a century since ELIZA that the ability to carry on a plausible natural language conversation is much more narrow than it intuitively seems.
The real trend is deflation.

People are having fewer children.

Fewer miles are driven to fewer offices for fewer trips in cars.

Fewer impulse buys are being made and fewer dollars will be made by advertisements (according to the ops conjecture).

This is not inflationary. It is the opposite.

We live in a deeply deflationary world and we should not be confused by the local, transitory inflation that we may be experiencing at this moment.
They were part of the effort, but not the main component. Direct File is still alive and functioning, for this tax season at least.
Most of them likely are obese. Obesity is so normal that what most people call “overweight” is actually obese and the people they think are obese are morbidly obese.
Appreciate the heads-up! I usually add a brief note about myself at the end of posts. It helps since HN doesn’t have detailed profile pages. Either way, I really appreciate you sharing this.

Also, since we're on this topic... why do you think even smart people make "bad" decisions? Would love to hear your thoughts!

Hope you have an amazing weekend too!
Which is harder, to build a working AI, or to build a phone client? If OpenAI can do the former, it won't matter that Google is better at doing the latter.
I'm from the country of Ozempic and Wegovy and neither Novo Nordisk nor our media have been portraying these drugs as general purpose anti-addiction drugs. However there have been some international studies that reveal that it might actually be. Can Novo Nordisk extend their patent of their existing drug if they find new applications for the drug?

Some of Silicon Valley's excess productivity over the rest of the world is driven by ADHD medication. Curious what happens when they also start taking GLP-1 medication.
The Black Crowes Southern Harmony and Musical Companion is the size of a jewel case, but cardboard like an LP cover, and folds out to reveal an extra six segments as well as front and back covers. (Five have pictures, the other one holds the CD.) So that's a good effort, but fundamentally LPs are a more satisfying size for looking at.
The US to continue funding NATO and Ukraine.
Extinguish, extend, embrace
Thank you for your answer. As a casual observer, I was genuinely curious. I am not well-versed in foreign policy, so I'll leave it at that.
> We don't understand human cognition despite literally thousands of years of thought and study

Is this a requirement for achieving AGI? The history of progression of the ML field indicates that the answer is "no". We don't really understand how concepts are encoded in today's models, yet that doesn't stop them from being economically useful. So why would the special case of AGI be any different?
Obviously riches in all countries are influencing politics. But Musk is next (probably never seen before) level. The guys with golden Kalashnikovs look like kids compared to him. Will Musk be the next president?
Many years ago, I worked for what would now be called a startup building small gas turbines. The turbine was impressive, 400hp in something the size of 2 shoe boxes. However, it spun at 120,000rpm, which meant either a very heavy gearbox or electrical generator had to be connected to it.

High rpms, noise and the difficulty in adjusting the power output quickly, killed the project.
The population of a specific Google office could be two std deviations from the mean. My office area, SoHo NYC, has a dramatically lower obesity rate than the USA average. Maybe 10-20% of the population is overweight, let alone obese, and it’s mostly the service workers.
I think your thinking is short-termist and naive. Naive because:

* Putin will use any pause in fighting that doesn't come with credible security guarantees to rearm and continue (he basically always breaks ceasefires he agrees)

Short-termist because:

* a resurgent Russia and weakened (and alienated) EU will only strengthen China and strategically weaken the US

The USA is powerful but that doesn't mean it can be indifferent to global affairs.

The only plausible rationale for Trump's behaviour is that he doesn't care about liberal democracy, either around the world or at home. If you are a US citizen who doesn't care about their own democracy perhaps that's fine, but if you do believe in the constitution, his behaviour should worry you.
Don't those drugs have serious side effects? I remember reading something but not sure where
At this point it feels like a fault in anti competitive laws. Both that a ruling party can award contracts to each other and that important infrastructure can be under control of a single individual, and one extremely volatile too. To me the most likely outcome is Wordpress/WPEngine like dramas, only on a larger scale.
I had no idea Capstone was still around.

Their idea was cogeneration, but I’m not sure if the math works out if you have a low efficiency turbine. We just usually don’t need that many BTUs to run a water heater and furnace versus electricity to run everything else. And with heat pumps becoming more of a thing that’s just becoming more apparent.
Vendor your dependencies. It’s better for you as a maintainer anyway, since caching only works[0] with first party domains with any reliability.

And once you vendor your dependencies you can calculate the hash yourself

[0]: there are caveats to this
It's fair to be more worried than usual in light of recent geopolitical developments.
Is the name a play on Samsung?

Or does it have another meaning?
The author is assuming that everyone will proactively start taking this drug. But I don't understand why? If Jerry is not obese, why would Jerry randomly start taking an anti-obesity drug?
> Extreme appetite suppression to the point where I've started calorie counting specifically to make sure that I'm eating enough. It's incredibly easy to forget to eat.

This is the largest of several reasons I hesitate to try it for myself. I am a very big guy (I would be about 184lbs if I had 0% bodyfat at my current musculature level). From the experiences I hear, I would not only struggle to have enough energy to do any kind of rigorous exercise, but struggle to consume the amount of protein I require to even maintain my current muscle mass.

I do have issues with overeating and the prospect of a drug that prevents me from consuming too many calories is attractive, but the side effects sound counterintuitive to any kind of natural fitness.
I have been working on a new written form I refer to as an "Iceberg Article":

https://john.kozubik.com/pub/IcebergArticle/tip.html

... which is intended to present detailed, long-form treatments of a subject yet, at the same time, provide something interesting and actionable in a brief moment.
I don't think that far-left was primarily only written because of the tax returns. I followed some links in the article and came to this twitter thread which might explain where that notion comes from: https://x.com/lukerosiak/status/1885523747425399247

(Disclaimer: I don't live in the US and don't want to take any political stance with this)
How do you make it deterministic?
Even though this comment is inaccurate because it just takes a a single figure figure and generalises it to all-of-time, I still feel compelled by to say something like:

Giving money to politicians is like giving whiskey and car keys to teenage boys.

The very to extremely wealthy run nations, why would giving them control of more money, someone else’s money, be a reasonable idea.

I suppose the argument is tax the rich more, and the poor less.

Nah, there’s got to be a better way, like maybe tax everyone less.
For the most part you have exactly the same levers to pull at people in the United States, sans voting in elections, but most Americans don’t even do that, and some specific things that require a physical presence, like protesting at the White House specifically.

Setting aside that you can do things about this and effect change, caring about something isn’t the same as being able to affect that thing, so your reasoning “people outside the US don’t care because they can’t do anything about it” is a bit off.
If you are troubleshooting it probably is not your code. You probably have not got enough knowledge about the codebase to reason about everything, on a large system noone has.
This is what got me in most sleepless nights, crunch and ass clenching production issues over my career.

Simple repetitive shit is easy to reason about, debug and onboard people on.

Naturally it's balancing act, and modern/popular frameworks are where most people landed, there's been a lot of iteration in this space for decades now.
> Even at the lowest 2.5mg starter dose which you're only allowed to stay on for 1 month...

So they are going to force you onto a higher dose?!
Direct File is following a phased roll-out approach to avoid the "big launch" problem that tends to plague government tech projects. The goal is to serve all citizens, but taxes are very complex, and it will take time to address all scenarios.

Also, as the below commenter mentioned, states need to agree to be part of Direct File.
Show HN: I made a website that saves you up to 2 hours a day
Hello Hackers,
I've been building ZenTask for about 1 month now so let me know what you think.
It's a website that lets you schedule your tasks across different days and see how much the completion of each task will take. I've been using it myself for a week now and I can proudly say that I have never been that productive in my life! Check it out it's completely free!
It is a bit of a silly proposition, considering that 40% of Americans are obese, and many of that population cannot afford $800-$2000 prescriptions.
Or not in the US.
An NT that boots into text mode wouldn't be terribly useful for software designed for NT today given the high dependency on UI libraries.

I too wish for an NT that was CLI-only, striped of services as much as possible.

Starting Windows NT...

C:\>

It's too bad Microsoft has no interest as a business in on-prem software.
Thank you for this detailed and honest reply.
Bro you don’t have any statistics.
Yes well your PCP / pharmacist should not have prescribed you an appetite suppressant when you have below average body fat %. The effects are very worth it for people weighing them against heart disease and mobility issues. It's not a Faustian bargain, it's all right on the tin. When you stop taking it the effects go away. If you want to be indulgent and it fits your lifestyle you can reversibly make that decision. The power to make that decision is difficult to overstate.
I will always side against a neo-Nazi sympathizer, regardless.
It is an interesting problem to train an LLM to make it aware only the things I know and with only my knowledge and beliefs stored in the weights. Not to be corrupted by the knowledge from the rest of the world. For new things it can have access to the web search and learn under my supervision. I.e, what data should be used to update it’s weights.
you are using chatgpt for medical info today because it might get better tomorrow? your comment wasn't what you plan to do it in future with it, you claimed you are doing all those things today. Now you are talking something about future hypothetical.
We’re not going to get to vote again. There is no future, America’s dreaming.
I can't edit this comment, so instead I'm replying.

>They’ve basically all nearly doubled in that time

This statement is incorrect. In another comment I did the math, and most of them had about 50% growth in the last 5 years, with SF being the outlier with 33% growth. Sorry for the mistake, my eyeballs are not as good as my math.
The Kiel Institute for the World Economy, a research group based in Germany that tracks support from foreign governments toward Ukraine, estimates that the U.S. has allocated about $119 billion. The reason the estimate is different from U.S. government data, the institute explains, is because it only includes direct aid to Ukraine -- not money appropriated in the bills that relate to Ukraine but are not bilateral, such restocking U.S. weapon stockpiles or aiding refugees.

By comparison, Kiel found European nations have all together allocated around $138 billion to Ukraine.
This, thank you. It pisses me off to no end when people pretend LLMs are smart. They are nothing but a well trained random text generator.

Seriously, some these conversations feel like interacting someone who believes casting bones and astrology are accurate. Likely because in both cases they are a result of confirmation bias.
> One can argue that AGI is already achieved, LLMs are more proficient and general in knowledge tasks than any specific individual.

This is not AGI.

Let's take an old version of the Wikipedia page about AGI, from end of 2022, before the ChatGPT craze: https://en.wikipedia.org/w/index.php?title=Artificial_genera...

> Artificial general intelligence (AGI) is the ability of an intelligent agent to understand or learn __any__ intellectual task that a human being can.

LLMs are nowhere near this. Not even close.

But let's get even more restrictive by looking at the actual required characteristics to declare a system an AGI:

> There is wide agreement among artificial intelligence researchers that intelligence is required to do the following:

> - reason, use strategy, solve puzzles, and make judgments under uncertainty;

> - represent knowledge, including common sense knowledge;

> - plan;

> - learn;

> - communicate in natural language;

> - and integrate all these skills towards common goals.

> Other important capabilities include:

> - input as the ability to sense (e.g. see, hear, etc.), and

> - output as the ability to act (e.g. move and manipulate objects, change own location to explore, etc.)

Once again, LLMs are not even scratching the surface of AGI.

Of course if you look at the current version of the page, where the bar has been massively lowered, it might look like AGI is achieved, but that's because the definition has changed, not the technology.
If a person is careful and sophisticated enough to warrant GLP-1 drugs, they probably weren’t the ones that were binge drinking and DUIing and doing careless things in the first place.

There are a lot of people who are sitting in front of a computer or a phone playing Roblox/Fortnite and watching TikTok and so on all day and night.

The economy evolves and will work around them…