skysight-inc/HackerNews huggingface dataset:
They got 1 pun in their comedic relief budget and they spent it brilliantly:

> We have enough data to know that we don’t have an acute problem on the horizon with 13th Gen — it is more of a slow burn.
There was related work that happened before, as mentioned in the paper.
Lock me up and take away my license...
I'm curious why you decided to use Redis instead of consolidating on Postgres. To me the additional surface area of maintenance seems high especially considering most of the time postgres gets you 95% of what you want. Would love to hear a differing perspective. Was it primarily performance reasons? Or perhaps some locking API that postgres doesn't support?
Thanks for featuring!
Don't move fast. This is the C programming language. The foundation of all software. Each new feature will interact with everything else, because C is connected to almost everything else. Making C larger is actually a really bad thing.
I tried to but I had to remove it for rate limit reasons :(
It's not ID fraud, it's disrupting the personal location space
There's a community of people (myself included) who still use old tech from that era like iPods and GameBoy Advance. Both for nostalgia and fun, as well as disconnecting from our phones and the current social media.

Could there be a similar case for bringing back a low-fi social media not ruined by algorithms, either MySpace or something like it? I guess the network effects, i.e. the requirement of your friends being on there, make it more challenging for social media. But I think there's a possibility of some sort of community who want to be MySpace-Amish. Personally, I think the peak of my happiness with technology was around 2007 - 2010, but obviously age and personal nostalgia have an effect there.
What time window would be appropriate to draw conclusions, in your opinion?
Guess I wasn't clear. Yes ownership isn't essential but does make you more inclined to object to perceived negatives. In China the state owns the land, not the municipalities, nor private parties, so even if you live there you don't have much of a say. The state makes plans at such a large scale. This is why the Chinese are so efficient at building high speed rail, there aren't smaller municipalities, property owners, etc. that can object.
> executable still ended up being ~2.5 MB

Gotta say even this would be great by today standards.-
usually "Chilli" in the UK.
I like to mix Malagueta with good olive oil.
More of those wasteful spending of Michigan taxpayers' money on "lawfares".
All apps on the App Store force you to use Apple's payment methods, and all apps on the Play Store force you to use Google's.
This article presumes that humans cease to emit when not being asked to program. When you use AI, you get both the emissions of AI and the emissions of the person who you did not use, who continues to live and emit.
My reading of the news is that in the US (and that I can see, in many places) a lot of people have been convinced not to believe experts.
I hated those slide d connectors. It was very common to have mechanical stress on the connector and just mixing the machine a bit would often cause it to disconnect.
If you live off grid in areas with unreliable supply chains then where do you get spare parts and technical support when the robot breaks?
Yes, but then all that's needed to attack the voting system is to trot out your own experts that voice disagreement. Without the means to assess the system for themselves, voters will lose trust in it. Especially in this day and age, when trust in institutions and expects in general is extremely low. (Heck, this attack already works to some extent with the current, extremely transparent system of ballots)
An E-Ink device would be perfect to play nethack/slashem, MUDs, IF games, turn based games and Chess/Go.
But beer is a much more valuable category for advertisement, and potentially a much more lucrative domain to have. There are social networks devoted to beer (Untappd), communities oriented around it, etc.
I lacto-ferment hot sauce on a regular basis (and give most of it away).

my go-to brine is by weight, which eliminates a bunch of issues:

* 400g water

* 26g salt

this makes for a great brine without trying to estimate or "taste" it to see if it's ok.

in addition, I sometimes use adjuncts:

* garlic - this adds a lot of flavor to the sauce, but could add yeast if you're not careful

* carrots - adds some vegetable flavor and a little bit of sweetness without adding sugar directly

I also don't pasteurize it (heat it up after it's done, or add vinegar), since I prefer the natural change that the sauce has over time. I also don't "thicken" it, you can get a better sauce by using the correct amount of brine when you go to blend it at the end, if all else fails, any leftover brine can be used for other things (I have some great pickles that were started with a partial batch of brine).

it's a fun hobby, but make sure that you can find a home for the extras if you aren't an avid hot sauce eater!

editing to add some tips:

1. if you're dealing with hot peppers, use gloves - they help a lot!

2. the seeds and the pith add a lot of heat - you can remove them and get yourself delicious flavor without the pain.
Understand how? You still need to understand the path layout, something is still parsing that path so it needs to be valid.
I understand this is an "intro-to-equities" case but doesn't this completely ignore dividends and buybacks?

I'm not an expert at reading financial statements but it seems to me Apple could easily double their dividends and still be very profitable relative to other companies.

Surely moves like that should have some effect on stock price meaning there are more possibilities than "grow gross profits" or "worth less"
I will look into that. It should redirect to HTTPS. This will work https://decodeinvesting.com/chat
Proton is the way. Solid free tier and you can use your own domain with the paid tier
I don't think they're complaining that Sum types are equivalent to any or all of those things, but rather that what they wanted was Sum types and C++ has given them all this other stuff claiming it will solve their problem, instead of a Sum type which does solve the problem.

If what I need is a bookshelf then it's true that a wardrobe, a cardboard box, a Kindle, and a shredder are all different things and a bookshelf would not substitute for any of them, but giving me the wardrobe, cardboard box, Kindle and shredder doesn't solve my problem, I needed a bookshelf.
>native American populations were annihilated by disease is now well established fact

Conveniently formulated historic fact absolving settlers IMO. Apropo to topic.

Convincing argument from indigenous is that indigenous in NA didn't get wiped out "because of" disease, worst historic pandemics wipe out like 50% of population over ~10 years before some sort of immunity kicks into population and gen pop rebuilds a few generations after that. Indigenous NA got wiped due to generations of increased deprivation enforced by settlers over 100+ years that made them suspectible to disease/fatality. It's like how malaria, dysentery, starvation was primary cause of death in prison camps, but really it's the fact that prison camp conditions allowed those diseases to spread in enviroment of artificially sustained deprivation.

90% population wipes over multipe generations isn't how disease operates, it's not natural epidemiologic behavior on continental scale. 90% population wipes happens because of coordinated genocide over generations across continent, blaming "contact" and "disease" is deflection. Hence if prevous visitors (can be whoever) didn't stick around for 100 years to coordinate a genocide, the indigenous people would still be around to greet Portugese/Spaniards, because they would have had ~100 years to recover/rebuild from whatever contact disease from prior meeting.
Especially with a robot that can harvest and sort different crops. Monocultures are unsustainable, but currently there isn’t really any other economic choice to keep a farm running. Technology like this is going to open so many new possibilities.
Haha, UUIDs for flights.. that'd be obnoxious.

Maybe use QR-Codes to store/display the UUIDs, and everyone should walk around with Apple helmets (what are they called?) that scan these codes as you walk around in the airport... (Facetious idea)
Those first platforms didn't have the same market cap. The current tech giants have so much money they can keep acquiring companies to stay relevant (line Facebook).
> Are you saying greed is a recent phenomenon? Companies were not greedy before?

Nowhere did I say that. Rising inflation gave cover for existing greed to do its thing. It doesn't seem that complicated or hard to predict.
> I think he succeeded

… and hopefully continues to succeed. Humanity needs more celebrated and shining beacons of what we can accomplish together.
> This is dead wrong, and a very dangerous mindset.

It's "dead wrong" that compilers independently choose to define undefined behavior?

Oh, ok; I guess I must just be a stellar programmer to never have received the dreaded "this is undefined" error (or it's equivalent) that would inevitably be emitted in these cases then.
You can be Myspace Amish on Mastodon. You could even call your instance that and build your CoC around it.
There's even a precedent.
https://en.wikipedia.org/wiki/Dot-com_bubble

Sucked for California. Everywhere else was fine. But traffic was so much better in the bay so there's that silver lining...
To try answering myself:

It's because algebraic type problems are typically of the form "Prove algebraic equation E", where E is relatively easy to translate into Lean language.

Whereas combinatoric problem types are of the form "Prove some open-ended expression P" that even if translated into Lean, it's not clear where to start to connect it to axioms or the eventual problem solution.

If that’s an okay way to describe it, then AlphaProof’s language model, likely trained only on Lean statements (?), would have a tough time generating plausible next steps to combinatorial problems for MCTS to explore?

That doesn’t mean the LM + MCTS architecture is bad though. It means the language model needs to be better at generating plausible next steps (sequence of tokens) with maybe a less axiomatic approach to evaluating the fitness of that step (less Lean reliance?).
That video has always felt unprofessional to me. I wish we'd choose something else.
Mastodon, Nostr, GNU Social, Steemit, Coil, Bluesky, Second Life and Hacker News, to name a few.
Anyone have a write-up for doing this with a Remarkable 2?
I asked around and all I got was this: https://news.ycombinator.com/item?id=41150581
Myspace is now a completely different site than its original purpose, so I'm not sure the question makes any sense.

Last I checked, it was some kind of low-budget social Spotify alternative, with most functions disabled, acting more like an archive than anything.
This isn't rocket science once you have sum types.

enum Event<T> {
System(SystemEvent),
User(T),
}
This is what I call the "captcha triangle".

You can have a very hard captcha that bots cannot solve, but that discriminates against the disabled. This gives you privacy and abuse-prevention, but not accessibility. You can have a very easy captcha (or possibly multiple alternative challenges), but bots can solve those easily. This gives you accessibility and privacy, but not abuse prevention. You can mostly have easy, accessible captchas, but rely on invasive tracking and fingerprinting, this gives you accessibility and abuse-prevention, but not privacy. There's no way to have all three.

As AI gets better, traditional captchas get more and more useless, and you need more and more tracking. We'll probably reach a point where there's no task that computers can easily verify but AIs can't easily perform, except being "vouched for" by a company that the website owner trusts.
Visual Variables are a specified set of symbols that can be applied to data
It makes no sense to mention dyanmic_cast or inheritance (clearly referencing virtual functions here) when languages with sum types also have equivalents. It just shows a misunderstanding of how these features are used.

I don't think I've ever seen an analogy contribute to a discussion, and yours is no exception.
We're hybrid and all have to go on in on the same days of the week - which management claims is in response to the "still have to sit on Zoom calls" complaint - but the reason it's all Zoom isn't because your US coworkers are at home, it's because 95% of the hires we've made in the last 4 years are at foreign sites.
Thanks for details.

I would also mention in Chinese cuisine, fresh lean beef (flank) is preferred for stirfry, fatty beef is preferred for boiling (hot pot).

American culture: aged is key to the complex flavours.

For fish, Japanese sushi often uses aged fish, while steamed fish should be as fresh as possible.
> Larry McVoy was famously wont to engage in trolling upon the Linux Kernel Mailing List, whereupon he did boast of his BitKeeper, which possessed atomic changesets. Concurrently, he did deride Subversion for its lack of the same

Subversion definitely has atomic commits. That was it's major advance over CVS.

The major difference between svn and git/hg is svn assumes a centralised repository, whereas git/hg are designed to work as distributed repositories that exchange change sets.

Turns out that you can build sophisticated work flows on top of features they added to support that distributed model - things like PR's. These things are useful even if you have a single centralised monorepositiry of the style svn insists on.

But atomic commits aren't part distributed feature set. You need them in a monorepositiry. After you've experienced your CVS repository being turned into a mess by two people doing a commit at the same time that becomes obvious.
What a weird response. I'm not sure if you mistook me for standing behind a Libertarian viewpoint and are mocking me for it or if you are just joking. You know... "and then"ing what I said, taking it up a notch for the gag.

If it was the first, I can assure you the comment was lamenting the situation, not celebrating it. I even chuckled to myself that the fallacy in question is called "Libertarianism".

If it was the second, the best advice about joking I have ever heard is "if at all possible, involve a cow". I'll be looking out for it next time ;)
Afaik, they aren't really trained independently -- for most models, e.g. DINO, etc., the smaller sizes are actually distilled from larger models. It's much easier to generate performant models at smaller size via distillation.

And I'd be curious of the utility of model that scales up and down at inference - if this was the case you'd still need to have storage that is the same as the maximum model size. This would essentially be useless for embedded applications, etc., unless you have heavy quantization - but quantization in a small parameter space would probably make the smaller modes useless. I could see the benefit here in terms of optimizing latency for different applications but maybe you have other ideas.

Given all that, I think training for smaller number of parameters, as noted in OP, would kind of beat out some model that scales at inference time - especially when most people know what kind of application they are aiming to build and the required level of performance.
The original JavaScript engine “Impact” from 2010 is at the end of its life; the C rewrite “high_impact” is new and will (potentially) be around for as long as we have C compilers and some graphics API.

The JavaScript engine had a lot of workarounds for things that are not necessary anymore and some things that just don't work that well with modern browsers. From the top of my head:

- nearest neighbor scaling for pixel graphics wasn't possible, so images are scaled at load time pixel by pixel[1]. Resizing the canvas after the initial load wasn't possible with this. Reading pixels from an image was a total shit show too, when Apple decided to internally double the Canvas2D resolution for their “retina” devices, yet still reporting the un-doubled resolution[2].

- vendor prefixes EVERYWHERE. Remember those? Fun times. Impact had it's own mechanism to automatically resolve the canonical name[3]

- JS had no classes, so classes are implemented using some trickery[4]

- JS had no modules, so modules are implemented using some trickery[5]

- WebAudio wasn't a thing, so Impact used <Audio> which was never meant for low latency playback or multiple channels[6] and generally was extremely buggy[7]. WebAudio was supported in later Impact versions, but it's hacked in there. WebAudioContext unlocking however is not implemented correctly, because back then most browsers didn't need unlocking and there was no "official" mechanism for it (the canonical way now is ctx.resume() in a click handler). Also, browser vendors couldn't get their shit together so Impact needed to handle loading sounds in different formats. Oh wait, Apple _still_ does not fully support Vorbis or Opus 14 years later.

- WebGL wasn't a thing, so Impact used the Canvas2d API for rendering, which is _still_ magnitudes slower than WebGL.

- Touch input wasn't standardized and mobile support in general was an afterthought.

- I made some (in hindsight) weird choices like extending Number, Array and Object. Fun fact: Function.bind or Array.indexOf wasn't supported by all browsers, so Impact has polyfills for these.

- Weltmeister (the editor) is a big piece of spaghetti, because I didn't know what I was doing.

Of course all of these shortcomings are fixable. I actually have the source for “Impact2” doing all that with a completely new editor and bells and whistles. It was very close to release but I just couldn't push it over the finish line. I felt bad about this for a long time. I guess high_impact is my attempt for redemption :]

[1] https://github.com/phoboslab/Impact/blob/master/lib/impact/i...

[2] https://phoboslab.org/log/2012/09/drawing-pixels-is-hard

[3] https://github.com/phoboslab/Impact/blob/master/lib/impact/i...

[4] https://github.com/phoboslab/Impact/blob/master/lib/impact/i...

[5] https://github.com/phoboslab/Impact/blob/master/lib/impact/i...

[6] https://phoboslab.org/log/2011/03/multiple-channels-for-html...

[7] https://phoboslab.org/log/2011/03/the-state-of-html5-audio
Monotony really is humanity's biggest sin.

The day we rid ourselves of diversity in pursuit of perfection and efficiency we'll only have ourselves to blame.
Surprised there is no mention of Bryan Johnson. Whatever you think of his methods, he has certainly done a lot to popularize longevity research in the last couple years.

Also no mention of rapamycin and related research on immune modulating pathways.
Agreed.

If a corporation's board of directors gave out free shares of the company to anyone who asked for them, and then those new shareholders voted the way the board liked, over-riding the opinion of the original shareholders, a crime would have been committed.

When it's a country, it's legal...or at least not punished. See: CA and single party rule.
Debugging a Rustc Segfault on Illumos
£3.50 more likely for central London, Edinburgh or any fashionable tourist place.
Enormous path dependance.

There's a photo in that article that shows the problem: the flip-tab sign that has space for four numerical digits. I was thinking they could just switch from 0-9 to 0-9A-Z but that photo showed why that would be a disaster.

Plus any solution has to be approved for use worldwide.

Fortunately the two-digit IATA codes have already switched to 0-9A-Z (e.g. JetBlue is B6) so allowing constrained airlines to use two codes should work fine.
It's not. (Law of Small Numbers)

As the exponent k in the denominator grows, the sum is approximately k! (factorial)

https://oeis.org/A000629
That’s good to know but maybe immaterial to the point of the article; The part of the Olympics that remains is not of those views.
We can also do stupid stuff much faster and efficiently and at greater scale than nature, too.
A few relevant points made by Govindarajan in this 1985 paper[1]:

> Chilli or Chili, a name now commonly used in Asia and Africa, is said to have come from the Nahautl dialect of Mexico and Central America.

> The U.S. Government Standard divided Capsicum into types corresponding to commercial types; paprika, red pepper, ground and crushed. The term "chilli" is not generally used in the U.S., but is used in Britain, India, Africa, and the countries in the East.

> The British Standard Specifications, however, differentiate between chillies and capsicum, obviously based on the degree of pungency. It gives no values but describes "chillies" as pungent small fruits of certain forms of the species C. frutescens L. and describes Capsicum as of varied sizes, generally big, of the species, C. annuum L.

[1] https://sci-hub.se/10.1080/10408398509527412
I have so many things in my backlog, from launching a startup, writing some app, blogging, producing some music, getting into amateur filmmaking, picking on padel, learning many new things in programming, contributing to OSS more, learning more vegetarian dishes, making more time for friends and family, I could go with this list for on and on.

Till my early 30s this had given me anxiety and sadness.

After 35 I accepted that I have more ambitions and interests than time and energy, and shifted instead of living more day by day and doing things at my pace and according to my mood.

Slowly I sometimes do some of the things I wanted to, I feel fulfilled and definitely less stressed.

The feeling of not doing enough was sometimes itself paralyzing, now I just don't care and enjoy and end up doing more.
Drones are spreading Mosquitoes world wide, and that is Good
That’s true, but knowing it is a simulation would imply we have some greater understanding (or at least point us in the right direction).
I wonder if an LLM could write it in JavaScript using a blockchain.
Because if they aren't, they are unsustainable. It's good to have self-sustainable industries rather than endless businesses (state owned or not) forever sucking on the public teet.
Nothing at a global scale is without downsides, but solar has fewer problems than any other energy source. It is cheap, easy to deploy anywhere, can reuse existing “ruined” land (buildings, farmland, bodies of water) without needing any new area for the foreseeable future, and is easily dismantled too. Within few years it seems likely it’ll be trivial to recycle it as well.

The only downside is that it’s intermittent, which hydrogen solves. The “extra steps” convert intermittent solar to predictable energy, useable 24/7/365. It’s not a device to transport solar to _where_ it will be used, but _when_ it will be used.

Even if fusion actually worked, it would be inferior in a major way - it concentrates too much energy in a single point. With solar and gas, energy could be distributed and redundant. No sabotage or failure can cut the energy supply to millions of consumers at once, and energy would be created where it’s needed.

Fusion could still be useful for science experiments requiring enormous amounts of energy but IMHO it’s not a good idea as a grid source.