skysight-inc/HackerNews huggingface dataset:
I can assure you that memory leaks specifically and resource leaks generally are possible in any language more expressive than a stack machine with an arena.

Rust makes an interesting and demonstrably pragmatic set of tradeoffs here as opposed to e.g. C/C++: treating std::move as a default (aka linear typing) prevents a lot of leaks. But it still has pointers (Arc, etc.) and it still has tables: it’s still easy to leak in a long-lived process doing interesting things. For a lot of use cases it’s the better default and it’s popular as a result.

But neither Rust nor k8s have solved computer science.
Ambitious title.

The key idea seems to come from this 1995 paper.[1] Here's a later paper.[2]
None of them get far enough to tie this to real world experimental results,
It's all descriptive math at this point, as the original article points out.
But maybe someday someone will make further progress and understand turbulence or something.

Anybody understand this?

[1] https://ui.adsabs.harvard.edu/abs/1995RvMP...67..605R/abstra...

[2] https://arxiv.org/pdf/1408.5443
I sensed anxiety and frustration at NeurIPS 24
> make a lot of small tiny methods which are one liners or two liners.

I'm presuming you mean public tiny methods? Having private ones like that can be good if makes sense to do so (encapsulates logic, increases readability, etc)
I'm surprised the authors didn't try the "dumb" version of the solution they went with: instead of using fancy cosine similarity create to implicit clusters, just ask it to classify the comment along a few dimensions and then do your own filtering on that (or create your own 0-100 scoring!) Seems like you would have more control that way and actually derive some rich(er) data to fine tune on. It seems they are already almost doing this: all the examples in the article start with "style"!

I have seen this pattern a few times actually, where you want the AI to mimic some heuristic humans use. You never want to ask it for the heuristic directly, just create the constitute data so you can do some simple regression or whatever on top of it and control the cutoff yourself.
Frankly

there’s a difference between a one or two or even ten off exposure to the brutality of life, where various people in your life will support you and help you acclimate to it

Versus straight up mainlining it for 8 hours a day
UIs Should Be Versioned, Just Like We Version APIs
I use jrnl (jrnl.sh) to keep a daily work journal. I start every day writing about the most important things from the day before. My journal entries are comprised of a headline followed by a short blurb. It’s easy to script with jrnl, so I can easily pull out just the headlines of the last week or year, easy to search for colleagues names, etc. Comes in handy during annual reviews or researching history of decisions. And it’s encrypted.
Why can't dishwashers just be small, single-dish appliances in which you put the plate/mug/wine glass/forks/whatever, close it, push a button, and 10 seconds later it's clean and dry, you unload and repeat?
Well, a century or so ago, we were still arguing about whether skin color is a reliable indicator of sentience and intelligence...

Right now, we are still arguing whether elephant or great apes are intelligent.

Human as a whole is too egoistic to accept that our intelligence is nothing unique and we are not a special creation destined to stand above all others.

As long as we have power and dominance over "it", we will never concede that "it" could be our equal.
Competition, not just economic, but also cultural. Marshall Plan, but also "jim crow is making us look bad". Cold-war "they need papers to travel, while we just (anonymously) buy a ticket and that's it" revulsion and pride, later seemed less compelling. Outgroup stabilization of identity? It's struck me as odd, how narratives around current China seem different than for cold-war USSR. Less identity-threat defensiveness and self-affirming pride, more indifference, and denial, than panics and pride. We still have US vs European heath care stories. With the USSR, we had many such, but with China, not so much.
> they don't care […]

Precisely. Embedded cares only about one thing: «get the product off the ground and ship it fast, bugs including». And since the software in embedded is not user-facing, they can get away with «power cycle the device if it stops responding» recommendations in the user guide.

Embedded also sees the CPU as a disposable commodity and not a long term asset, and it is a well entrenched habit of throwing the entire code base away if another alternative CPU/ISA (cheaper, more power efficient etc – you name it) comes along. Where is all the code once written for 68HC11, PIC, AVR etc? Nowhere. It has all but been thrown away for varying reasons (architecture switch, architecture obsolescence and stuff). Same has not happened for Intel, and the code is still around and running.

For more substantial embedded development, the responsibility of adopting a new ISA falls on the vendor of the embedded OS/runtime (e.g. VxWorks or the embedded CPU vendor) who makes reasonable efforts of supporting hardware features important to customers but does not carry out the extensive testing of all features. Again, the focus is on allowing the vendor's customers to ship the product fast. Quality of development toolchains for embedded is also not so infrequently questionable and complaints about poor support of the underlying hardware are common. They are typically ignored.

> but for mose uses it doesn't matter […]

Which is why embedded is not a useful success metric when it comes to predicting the success of a CPU architecture in user-facing scenarios (namely, personal and server computing).
I don't think there was a single tipping point, just a growing accumulation of factors:

- the release of Lean 4 slightly over a year ago, which impressed me both as a proof assistant and a programming language

- the rapid progress in formalization of mathematics from 2017 onward, almost all of which was happening in Lean

- the growing relevance of formal reasoning in the wake of improvements in AI

- seeing Lean's potential (a lot of which is not yet realized) for SW verification (especially of SW itself written in Lean)

- the establishment of the Lean FRO at the right time, intersecting all of the above
This comment should read, "than the conventional approach of hard-rock mining".
I wonder if Cartesian-basis multipole expansion could get the best of both worlds of GS and SH, as the former basis captures anisotropy but not detail while the latter captures detail but not anisotropy, whereas Cartesian multipole expansion naturally captures both right from the low orders, and is much easier to align to game worlds.

(to be precise, both can be captured by either if you include enough orders, what I mean is mainly how the information distribution scales with respect to each attribute)

Also, the age-old physics question: what is the minimum order of spherical harmonics required to approximate a cow?
A lot of people don't seem to realize polyamory versus open relationship. Polyamory is about holding multiple relationships. Open relationship is more about the physical act, without additional relationships.

Multiple loves, versus getting it on with others once in a while, but not forming lasting relationships with them.

My partner and I have open relationship. We don't "date" other people, and actively avoid the baggage that comes with people who try to turn it into that. But a sexcapade or romp is fair.. we might be sexy, but not the only sexy people on the planet.
“alphebatically” is used 3 times, and otherwise no typos that I noticed. So I wondered if it’s a term I’m not familiar with.
Genesis: AI, Hope and the Human Spirit / Kissinger, Schmidt, Mundie
This isn’t just limited to environmentalism, it’s everywhere. Trump voters for instance a week after the election thought the economy was doing substantially better. Not forward looking, the current economy.

https://www.axios.com/2024/11/13/consumer-sentiment-republic...
Normal people who don't care about music at all, sure they can call it "easy listening" and I won't bother arguing. For anyone who cares about music or even history at least a little, it's worth knowing that jazz is very important to the history of music.
The most important anti-tracking feature Tor has other than IP masking is disabling JavaScript by default. That's a complete non-starter for the modern web.
> For a few glorious pages, Noem feels like a Flannery O’Connor character with tax cuts. Honestly, as someone who had to endure all 260 pages of No Going Back, I wish Noem had shot more dogs—or me.

These are a riot.
> With ChatGPT, the output you see is a reflection of human intelligence, our creative preferences, our coding expertise, our voices—whatever we put in.

Sure, but it's a reflection of a large amount of human intelligence, from many individualks, almost instantly available (in a certain form) to one individual.
I don't think Turing knew about the existence of the lambda calculus when he wrote the paper. It was later that he decided to study his PhD under Church and move to Princeton.
It seems to me that more books are a strict good: let’s get as many books written as possible.

Let’s get some scathing book review reviews written.

This dreck isn’t dangerous: books are harmless.

Dreck is dangerous when powerful people endorse it as they way their followers should think.

What’s dangerous is saying one thing on Lex or Rogan and saying something entirely different on Signal to Chamath.
I use Linux at home and Windows professionally:

- Booting my PC until login takes approx 10s for Linux and 60-120s for Windows. Logging in takes another 1s for Linux (i3wm) or 60-120s for Windows.
In Windows, I often need to manually connect to my local wifi after logging in.

- Accessing a local file (as in git status, or opening a file in emacs) while having VPN turned off takes <1s in Linux and somewhere between 10-30s in Windows.

- Windows forces me to stop using all Office products during Office updates

- After approx 50% of all Windows updates, Windows gives me nag messages until I restart my computer

I use emacs as editor in both scenarios. Compilation and running programs is subjectively similarly fast.
> “This region is one of the driest in all of Germany, and climate change is worsening the consequences year by year,” she says. “There’s little rain, and while there are many lakes, they are surface waters, not aquifers or underground reserves. People here have always been taught not to water lawns or flower beds in the summer to save water. Yet, the richest man in the world, Elon Musk, can extract 1.8 million cubic meters (63.5 cubic feet) of water a year and pollute the groundwater in a protected area. To me, it’s incomprehensible.”

> Hoyer and the citizens’ initiative have held protests and gone door to door, distributing flyers to raise awareness about the issue. In a non-binding local referendum held in February, 65 percent of residents of the nearby town of Grunheide said they opposed Tesla's expansion plans.

What are Tesla's plans to make sure the residents of Grunheide won't be hurting for water?
err, are you serious, sir?
Right and many people believe in Phrenology/Genetic racial IQ differences/Human Biodiversity or whatever euphemism they're using these days.

That doesn't make them any more true or any less harmful then when they were measuring skulls
I don’t do well with more than one focus. I stick with one project and focus at all times. There are plenty of things I’d like to do, but whenever I try I end up putting most of my effort in one and it takes over my mind even when I’m working on the other project.
It's been a very long age since I wrote any F#, really enjoyed it at the time and it was for fun stuff, I wasn't trying to deal with errors, just things like process a prefix trie in a cool way, but does

Result<'T, 'TError>

really have no upper type bounds on TError?

I'm assuming that's the case from the fact that he's arguing for a basic interface (Does F# support structural typing, or do you need to say that AtlasError implements IError or whatevs?), and I'm really surprised there isn't one.

Huh, would love to know why leaving it unbounded was decided upon. Might be I don't quite grok the culture of F#.

This reminds me of a very common and awful Python pattern, where, as there's no `message` attribute on the base error/exception classes, despite every nearly every exception or error having one, this is the normal pattern to access it:

message = ex.args[0]

It gets really fun when you get an IndexError because one exception had no message provided when instantiated, so then you find code like:

message = ex.args[0] if ex.args else None

Yech.
Maybe it's just Getting Old, but I miss the days when the average application would have a reliable alt-something keyboard shortcuts, a standardized scrollbar, and tick/option-boxes that were always distinct from one-another, and didn't replace buttons with sometimes-highlighted text...

Instead we've got weird web-on-desktop interfaces or designs where everything useful was discarded to support potential touchscreen use.
You aren't helping.
KeePass has been around for ages for free.... surprised cloud solutions are so popular
Maybe. Compare the Las Vegas Monorail with aerial sections of BART.
But BART is heavy rail, with serious speed and capacity.
Estimates from earlier this year are over 60 Million Linux powered desktop PCs globally.

That's not a huge portion of total market share but is still major by some measure.
Suppose I give you two functions f, and g. Can you run f(g()) without breaking things? The honest answer is you don't know until you read the functions, which is a slow and difficult thing to do.

Suppose I give you functions f and g of respective types int -> str and Nothing -> str. Can you compose them? No, and you see this immediately from the types. Types make reasoning about composability a lot easier.

Of course, it's not a panacea, and it's less helpful the more side effects a function has. Can we compose pure int->int functions? Of course! Can we compose two of them where the second expects some image to exist in some docker registry? You'll need to read the first to be able to tell.

Given the highly side effectful nature of pipelines, I'd think the applicability of types would be limited. But maybe that's just a lack of imagination on my part.

Certainly information like "this pipeline expects these variables" and "this pipeline sets these variables" are susceptible to a typed approach, and it would make things easier. By how much, I don't know.
I'm pretty sure this is isomorphic to Go's err, right?

Report ~ res, err (well this bit not strictly, but in practice close enough)

IFault ~ Err (interface over a string repr, and a way to wrap a cause Err with err.Unwrap)

In my experience if you land on a design that looks like something either Go or F# does then you're probably on the right track. :)
Almost like keeping a personal write-ahead log. :)
The author of the website has mentioned that

> I am slowly replacing the Cotton/Hazlitt translation with a contemporary one and adding new notes

So I would assume that the essay you're talking about is from the earlier Cotton translation and has still not been replaced.

This is the first time I've seen AI being used to "modernize" old texts, and it works wonderfully in this case; though a bit of the old-timey charm is lost imo. I used to read a translation that I'd found in my university library which I enjoyed a lot. Very readable but still retained the "feel" of a 16th century book. I don't recall the translator unfortunately.
Too many of these (especially as you click back through previous years) are political; however warranted they might be, they're not interesting. Elie Mystal doesn't like John McWhorter. Shocking! Also: these all lean too heavily on The Baffler.

There's good stuff here! You don't so much have to dig for it, but you do have to root through less good stuff.

I do like that Sally Rooney is a perennial punching bag here though.
Overly aggressive use of the term “computard” is at best unserious and at worst deeply offensive.
I read through some, skimmed through some more and glanced at the rest.

Honestly there’s nothing here for me. I’m sure many of these reviews are individually accurate enough, but when compiled together like this it all becomes a slog of bland constructed negativity.

I didn’t come away from this a better person, curious, or even amused.
Anecdotes are not data, and we are (most definitely) not a behemoth, but here is my experience.

A) we acquired a small (2 person) company for the people. Basically paid of their debt and they became employees. They gad experience in our domain space.

B) we acquired our distributer. We make product (hardware and software) and our (exclusive national) distributer went onto the market. We made an offer. We subsumed twice as many staff, and three times the offices.

Fast forward a decade later and the (combined) business has grown a lot, customers are better served, and there is more continuity from "farm to table".

So, from my perspective, your proposal to ban acquisitions seems to be painting with a very broad brush.

Equally, at the macro scale, there are regulatory controls in place. The recent denial of the T-mobile merger being a case in point.
I'm not that old, and I still remember being really disappointed when something wasn't in my home (book) Encyclopedia. Then you would trudge to the library to find maybe one book on the obscure topic.

You could request a book be sent from another library, but that would take weeks, and you had no idea what was in that book.

It was wild. Most things were just unknown, or whatever you parents told you.
For those who've been living under a rock for the past 10 years or so, here's a start.

https://www.live5news.com/story/21288315/live-5-investigatio...

https://archive.is/3fyfh

https://digitalcommons.law.scu.edu/cgi/viewcontent.cgi?artic...
You advocate blowing everything up because you don’t see a way to your favoured state?
Yes the same as an airplane turning, you don’t spill your coffee on a banked turn
It's also super easy to come up with better questions: "What's the funniest call you've ever been on?" "What call do you feel like you made the biggest difference?" "What's the best story you have?"
A typical typeset page has ~250--300 words per page. The standard rule of thumb is to assume 250. A double-spaced typewritten page is about half that as I recall.

100 pages is about 25,000 words of text.

Obsessing over just how many words are on a page isn't terribly productive. 100 pages is very roughly about 90 minutes of reading per day. Commuting is a tad out of fashion these days, but divided between two legs of a commute plus some additional downtime you could fit that into 2--3 sessions per day.
Hezbolla didn't intentionally include israel in its supply chain. The impressive part of the attack is that they managed to insert themselves into an enemy's military supply chain without their enemy knowing - which is a 101 thing militaries try to prevent. If they were just abusing their known position in a supply chain, it would be much less impressive.

So i don't think it follows that the attack would lead to israel being cut out of supply chains, since the attack didn't involve that.
That’s not an in-memory cache either. AIUI it’s storing those artefacts to disk
It's JavaScript and exposes an extensive API via console: https://github.com/anvaka/city-roads/blob/main/API.md#loadin...
More likely they will tailor/RL train these models to go after coders first. Use RLHF employing coders where labor is cheap to train their models. A number of reasons for this of course:

- Faster product development on their side as they eat their own dogfood

- Dev's are the biggest market in the transition period for this tech. Gives you some revenue from direct and indirect subscriptions that the general population does not need/require.

- Fear in leftover coders is great for marketing

- Tech workers are paid well which to VC's, CEO's, etc makes it obvious where the value of this tech comes from. Not with new use cases/apps which would be greatly beneficial to society - but effectively making people redundant saving costs. New use cases/new markets are risky; not paying people is something any MBA/accounting type can understand.

I've heard some people say "its like they are targeting SWE's". I say; yes they probably are. I wouldn't be surprised if it takes SWE jobs but otherwise most people see it as a novelty (barely affects their life) for quite some time.
Hey congrats! Looks like a really cool idea.

Looks like you're pushing for the throughput angle - that could be important but IMO it's not often you come across devs who need this level of throughput without dealing with large scale problem. My feedback is the lack of per-tenant encryption is a big deal breaker here since you're mixing up data of tenants within one objects.

Plus your security section talks very little how you prevent cross data contamination - that's probably first thing that popped up in my mind when I read about your data model. It makes me extremely uneasy - and can't imagine that I can adopt this for anything serious. I would encourage you to think about how you can communicate that angle to the customer as well, besides supporting per tenant encryption key.
It's more complicated than that. You can use subtle differences in hardware and GPU rendering so that syscalls aren't even relevant. And you can never really prevent timing attacks, because you can just use a network request to get the current time from the server.

I've been wondering how hard it would be to make a completely fingerprint-proof browser.

One idea would be to run it in a deterministic emulator. All machine code instructions would be guaranteed to take exactly the same amount of time to execute on every machine, as far as is observable to the browser, and threads would be scheduled in the same order every time. Zero access to the host system through fonts, WebGL etc.

This would mean a massive performance penalty, but modern computers are fast enough that it might be usable for many sites. You could have a small number of discrete speed tiers, where you use the fastest tier that your computer is capable of.
> the Ardennes lie on the direct line.

Trains somehow go from Aachen to Brussels. Ardennes is hardly an obstacle.
I figure it's because AWS can get away with it.
Some have a smaller tighter codebase... where it's realistic to pursue consistent application of an internal style guide (which current AI seems well suited to help with (or take ownership of)).
From a capability perspective, they are all essentially Chromium wrappers. The advantages, as I understand, are:

* Modern framework (updated language APIs, more user-friendly APIs, and better integration with popular libraries).
* Multi-language wrappers (this might just be a lot of grunt work).
* Multi-engine support (almost everything except IE is supported).

Of course, people always like new things, and new things do tend to generate more buzz.
Photographs reveal first glimpse of uncontacted Amazon community
Additionally, I understand that one advantage is being backed by Microsoft, which also means the framework can receive long-term support.
Fivetran is going to zero because they don’t offer anything of actual value and their CEO isn’t a good person.

[1] https://news.ycombinator.com/item?id=42434450
Fyi, an automated alternative: https://github.com/jmbannon/ytdl-sub
That word sounds like you’re saying “near the ground”.
Yes, Selenium is excellent, but judging by its current popularity, Playwright is almost as hot in the frontend field as React.
Java 14 introduced switch expressions.

https://docs.oracle.com/en/java/javase/17/language/switch-ex...
Also it doesn’t quite fully save all of the assets, like fonts if it were referenced in CSS files