skysight-inc/HackerNews huggingface dataset:
Two examples that satisfy these criteria are Dhall [1] and Cue [2], but in one sense they are not interesting examples: Dhall is a total language on purpose, it does go the “not Turing-complete” route, and Cue has no functions so there is nothing to recurse.

I would say that RCL [3] satisfies the criteria. It’s deterministic and pure, has metered execution, and it sandboxes filesystem access. It can read files when allowed by the sandbox policy, but in my view that makes those files part of the source code, it behaves the same as imports.

For RCL I did not want to go the “not Turing-complete” route for exactly the reason the author mentions: knowing that a program enventually terminates is not a useful property in practice. And conversely, it is possible to write very complex programs in total languages like Agda, non-Turing-completeness is no guarantee for simple programs/configurations. All loops in RCL are bounded, but it has functions, so it has recursion. It does not have tail calls, so at first I added a recursion depth limit (to prevent overflowing the native stack), but then the fuzzer discovered a function that runs in constant stack space, yet it hangs. I still don't fully understand how it works:

let f = g => g(g(h => k => g(g(h))));
f(f)

Anyway, it is not a problem in practice that this kind of pathological function can be expressed, I just put a limit on the number of execution steps (a “gas limit”, or what the author calls “metered execution”). For keeping code simple, I think the fact that the built-in looping constructs are bounded, and recursion is awkward, are a good nudge, but in the end the most valuable tool is code review and applying good judgment.

[1]: https://dhall-lang.org/
[2]: https://cuelang.org/
[3]: https://rcl-lang.org/
Well this seems to highlight that modifying code is harder than creating it, and yet again LLM does the easy thing ok.
Meanwhile, you can bring Play-Doh in any quantity.
> some airports don't comply

This is not true, airports with upgraded scanners are complying with the law just fine.

This appears to be a temporary technical problem:

> This precautionary measure is not in response to any new threat but addresses a temporary technical issue, undertaken in alignment with the EU’s international partners

And:

> Technical information received by the Commission and validated by ECAC States and laboratories, shows that the existing configurations of standard C3 EDSCB equipment to which the Commission has granted the ‘EU Stamp’ marking or the ‘EU Stamp pending’ marking need to be revised in order to improve their performance
Having a product for gardening and selling it to people who don't like gardening is genuinely retarded. With this robot you still have to do gardening, only somewhat less.

If you don't like gardening why would you spend 2k on a robot doing it for you instead of buying the produce?
Reader mode does this in Safari. Adding to Reading List also stores the content for offline reading.

I bookmark to a service (Linkding, self-hosted) that automatically sends the URL to be archived at Wayback Machine.
Back when I still subjected myself to the security theatre at airports I was told to toss the nearly empty tube of tooth paste I had in my backpack. Why was that? Well, the tube stated it contained 125 ml when new and you're only allowed to bring 100 ml containers so toss it or be denied boarding.

I now travel by train instead of plane. Sure, it takes a lot more time but I can bring however much of whatever I want, I get to sit in a comfortable chair, I have my laptops (etc.) with me and get to work on whatever I want. Sometimes I even meet interesting people. I regularly travel from Sweden to the Netherlands this way, sometimes alone, sometimes with my daughter when she comes home from university or goes back there (she studies in Utrecht, we live in Sweden). Train travel is far from perfect and delays are common but seen as a whole it is a far better experience than air travel. It also happens to be quite a bit less expensive on the routes I frequent.
I’ve been forced to dispose of empty bottles at security because it said 500ml on the side.

Selective enforcement and shifting requirements is one of the major issues with airport security.

Some places force off belts and shoes, and force you to remove laptops and electronics from bags, some force them to be in your bag… it’s very annoying that it’s not consistent across airports. (in europe).
>Git is not a natural development at all.

It's a false dichotomy. Before git there were other version managements systems which would've fit your use case much better than git. Subversion is the easiest perhaps.
> Out-of-bounds and use-after-free can be dealt with by having good coding strategies

You're basically saying that every project in the wild has bad “coding strategy”…

> I expect that we will have full bounds safety options in compilers soon

Which will be disabled in most places because of the overhead it incurs.

> But having a good ownership model and good abstractions also avoids most problems here in my experience. I rarely have actual problems in my projects related to this.

It's easier said than done when you have no way of enforcing the ownership, and practically intractable when not working alone on a codebase.
You’ve never heard of public housing?
I’m the author of aider, an ai pair programming tool. I use aider to develop aider, and it keeps track of how much of its own code that it writes.

Aider wrote 58% of the code in the last release, and >40% of the previous few.

The release history page [0] plots this stat for each release over the last 12+ months. The overall trend is pretty cool, especially since Claude 3.5 Sonnet.

It’s not an enterprise code base, but it’s not a toy code base either.

[0] https://aider.chat/HISTORY.html
An attribute for functions that says "no optimisations may be applied to the body that would change timings" seems like a reasonable level of granularity here, and if you were conservative about which optimisations it allowed in version zero it'd probably not be a vast amount of work.

I'm sort of reminded of the software people vs. hardware people stuff in embedded work, where ideally you'd have people around who'd crossed over from one to another but (comparing to crypto authors and compiler authors) there's enough of a cultural disconnect between the two groups that it doesn't happen as often as one might prefer.
Oh yeah I have all kinds of things hosted with Docker Swarm: Jellyfin, FreshRSS, Gitea that I use the most. Otherwise I also have TeamSpeak just for the sake of it. When needed I spin up an Assetto Corsa or World of Warcraft private server, too :)

Just did a speedtest on Fast.com and got 1Gbps download, 950Mbps upload and 0ms unloaded and 33ms loaded. Granted, that's not on my server.
> never found besides going to the toilet a way of getting water

You say that like it's bad? Hamburg tap water was perfectly ok a few years ago when I was there. Has it changed?
How would a wealth tax solve a problem caused government management of interest rates and active management of money supply?
Ye we've had apps rejected because they hit our IP geoblock, and the logs would always indicate they were testing via an Irish mobile network.

We specifically allow-listed Apple's /8 range, but they don't always use the corporate VPN.
... by 2071?[1][2]

Looking at the data, this doesn't seem an unreasonable YoY increase.

1. https://www.abs.gov.au/statistics/people/population/populati...

2. https://www.abc.net.au/news/2023-11-23/how-many-people-will-...
Telegram Browser, Mini App Store, Gifting Stars and More
In most of Spain the tap water is totally safe to drink. I would avoid it in the islands only.
If you read the commission announcement, you get the actual reason between the lines: “undertaken in alignment with the EU’s international partners”.

The EU is bending backward to US pressure and the rumour is that it’s because Avionix scanners are not as good as the ones from their non US competitors.
Luckily it’s illegal for bad guys to buy multiple plane tickets or this wouldn’t work
You seem to be struggling with the idea that someone might want the results of hard work without actually doing that hard work, especially if they can get those results by playing with something they do enjoy, like robotics. Let me know when that sinks in.
It's a big leap from thinking there shouldn't be states to undermining them through direct attacks; there aren't many of those, I think. But it is true that security services frequently overstep their boundaries, and that not all countries have proper guarantees during a judicial process, so even innocent anarchists may have something to fear.
I touch my palm on the ctrl key, so WASD is more natural.
I think this is also why welding aluminum alloys was such a pain before the introduction of friction stir welding, which doesn't melt the metal. FSW was invented surprisingly late, in the 1990s.
Gotta love this ~20 year old limitation, conjured up because some idjit (more likely a committee of idjits) believed in some crackpot theory about terrorists cooking up liquid bombs: https://www.theregister.com/Print/2006/08/17/flying_toilet_t...
me too, just works out well with WASD. It's like an extra finger.
Investigating Open Bullet 2's HTTP request mode (credential stuffing tool)
I wouldn't be as pessimistic as this. Having been in relatively low-pressure parts of academia (polisci, behavioural economics, behavioural genetics), I can't say I've ever seen clear fraud or direct pressure to commit fraud. Bad research, bullshit, politics, yes... but those are maybe not unique to academia.

Anyway, quite a wake-up call to be told we should model ourselves on finance. Ow.
Website to Backup Favorite AMV(Anime Music Videos)
World-first national peanut allergy treatment gets under way
That's easy. Use the favorite tool of the West: put economic sanctions on Nauru and on anyone who buys from them the resources mined from the ocean floor.
I think there's tremendous value in keeping and publishing the outline itself. I know this because I just spent a week turning a book back into an outline and discovered that there was a great demand for it.
Can your provide any sources?
Not the _whole_ point. New scanners still allow you to not take electronics out of your bag before scanning, so not having to do that is still nice.
I can see hype go through the roof again if someone like OpenAI delivers a model that is as big of a leap as GPT3 to GPT4. Other LLMs have caught up to GPT4, but surely OpenAI has been using the 2 year lead they had and readying GPT5?

There are two AI developments that I'm quite excited for:

1. Very large foundational models (such as GPT5-level LLMs)

2. Optimizations for smaller models, context size, inference speed, and multimodal LLMs

I think 2024 has been the year for #2, which is why the hype has died down a little. No splash big models that shock the world and make white collar workers shiver. But #2 is crucial to actually deploying LLMs to the masses.
I'm not a particularly good writer, but I've written about how I use the SingleFile extension to capture a perma web version of everything interesting that I read[0]. It's a great open source tool that aids in archiving (even if only at the personal level).

I've been taking notes and blogging since the early 2000s and coming back so often to find the content that I'd linked to has disappeared.

Archive.org and Archive Team do amazing work, but it's a mistake to put all your archiving eggs in one basket.

[0]: https://vertis.io/2024/01/26/how-singlefile-transformed-my-o...
Give 100ml total of a whole lot of different room-temperature liquid reagents to a moderately-trained college-level chemist and down cometh that plane.

Security theatre is such a waste.
I can't imagine how unsurprised you'd be to find out most pollies own investment properties[1].

I don't believe that data covers property owned via trusts/family either, or large quantities of property sold just before moving to a leadership role[2].

1. https://www.yourinvestmentpropertymag.com.au/expert-insights...

2. https://www.dailymail.co.uk/news/article-10682663/Peter-Dutt...
> bottle of water for 4 Euros is way more profitable.

Add a 8 EUR sandwich and you have a perfect dinner.
I think what many people miss, is how long context LLMs get better (needle in a needle stack) and how Context is very important.
With github copilot or with continue for VS Code the main issue lies in how they decide which context to give:
Ideally it's a graph of all function calls and instantiations of classes so whenever your cursor is in a particular spot you could hop through the graph and get all important code pieces as context.

Currently continue uses vector search of chunks which is just a crutch. I am not sure what copilot or Aider does, but the right context is key.

Another way to improve a coding assistant is to move away from simple paradigms to agent based Workflow that can deploy sub agents and break down tasks. All in the back autonomously while you code and then it surfaces suggestions or changes. This will get possible with increasing inference speeds (groq) and better agent frameworks.

Most devs at our company say LLMs are useless for coding and github copilot is a glorified autocomolete costing 20USD. I think the tech and ecosystem will improve a lot over time and they underestimate LLM abilities due to their bias.
That's a fair point, particularly in the case of go. Be interested to understand the reasoning myself.
There is a popular sports streaming app developed by burmese developer. The app looks like a normal sports news app with an instruction to tap the logo and type the number 3 three times in Burmese in the popup textbox. Upon entering the correct numbers, list of live streaming football matches appears.
Aluminum is 8% of the Earth's continental crust by mass. We are not going to run out of it. Recycling it is for saving energy, not conserving aluminum.
Yann LeCun certainly seems to be one of the more interesting people in the space. He’s a notable skeptic of Llm intelligence and incredibly smart.
Google Cloud partnering to support AI startups with Y Combinator
Arrival-time: Simple and powerful progress time estimation (ETA)
Apple's app store should not be in the business of distributing software for pirating videos.
By the way, anyone else here annoyed by the typical form factor of perfume bottles? Usually these containers have thick glass walls, are large and heavy, totally inadequate for traveling.

Yes, you can transfer a bit into special travel containers but you'll have to hit the spray button dozens of times to transfer even a meaningful quantity. And if you don't wear latex gloves your hands will have a strong smell for the rest of the week.
(even if you know LLMs are the future, please try to...)

Take the pessimistic view on LLMs for a moment. That this doesn't really work out and the expensive computers are a somewhat embarrassing misstep.

In that world, at least a few companies will find themselves with multibillion dollar high performance computers running on site. With capex and power numbers to scare the accountants and financial analysts. Not running LLMs.

That's a really fast computer. Computers can do stuff. If not LLMs, it's going to do other things.

To confidently sit out this capability acquisition round you need to be sure that LLMs are grossly overrated and also that all the competition will fail to find anything else to do with their GPU supercomputers. Oh, and that your own staff would also fail to find anything (else) useful to do with one.

I am completely comfortable expecting datacenter scale supercomputers with previously unimaginable compute to do interesting things. I wouldn't want to be the megacorp missing the revolution because I spent the money on dividends instead.
Molten iron is not ferromagnetic. Even solid iron ceases to be ferromagnetic above the Curie temperature of 770 C.
Toilets aren't exactly a good source to refill your water bottle for obvious reasons.
You would not be up 250% if the companies you invested in went bankrupt.

Perhaps if you invested in Amazon or MS.
How do you plan to reach people looking for an LMS - any particular niche/strategy?
Ok you’ve convinced me to give Aider a try. But is there a way to feed it documentation of a particular library or API? I want it to read the Stripe docs for me for example and then implement a feature.
If most AI businesses are actually API business that call ChatGPT, and people learn that, the hype will start declining.
Unless I'm mistaken, Formspree doesn't have a free production tier, they only offer free setups for dev/test. The submission above does have an ad supported free tier, so that's already something. Case in point, my own website gets maybe one contact form submission a month, so it wouldn't really be worth paying a monthly subscription to keep that bit alive if I didn't have a server already.
What would be the downsides of using cursor based pagination?
There has to be something, otherwise it be used solely.
> Your comment makes no sense at all. You do not need to get a PR merged before you can use your changes.

What you said was:

> Wouldn't it have been far more efficient to contribute back to protoc?

My point was about the bureaucracy of contributing back upstream. Nonetheless, your new point, that patching and using your own fork is preferable makes sense on the surface given the ease of forking in go projects. Be interested to hear the author's reasoning.
Google Pixel phones.

8X Coral Edge TPU M.2 on PCIe card, https://www.digikey.com/en/products/detail/asus/CRL-G18U-P3D... & https://www.asus.com/networking-iot-servers/aiot-industrial-...
That's just such an interesting idea and approach. It's one of those things you'd never think someone would go from ideation to actual implementation, and yet it happened.
I can second the sequence key table being because auto increment wasn't available on some databases. I ran into the same some years back at a company who's software dated back to the late 60's.
Are you aware of supermarkets? There you can buy food that others have produced for you, admission to a supermarket is usually free and food can be bought in minutes instead of produced over months.

Is this your project? Why are you so emotional over it being a shit product?
I hope that’s not a serious questiom because it seems to be in bad faith. It's not answerable or at least if it was we'd all be rich.
That article really overestimates the desire of suicide bombers to survive their attempt. It also really overestimates how hard it is to do massive economic damage just by implying you know how to make TATP.

What Bin Laden et al wanted to do was inflict long term economic pain, and they absolutely accomplished that goal. This just shows they’re still succeeding, really.
Signed integer overflow being undefined has these two consequences for me:
1. It makes my code slightly faster.
2. It makes my code slightly smaller.
3. It makes my code easier to check for correctness, and thus makes it easier to write correct code.

Win, win, win.

Signed integer overflow would be a bug in my code.

As I do not write my own implementations to correctly handle the case of signed integer overflow, the code I am writing will behave in nonsensical ways in the presence of signed integer overflow, regardless of whether or not it is defined.
Unless I'm debugging my code or running CI, in which case ubsan is enabled, and the signed overflow instantly traps to point to the problem.

Switching to UB-on-overflow in one of my Julia packages (via `llvmcall`) removed like 5% of branches. I do not want those branches to come back, and I definitely don't want code duplication where I have two copies of that code, one with and one without. The binary code bloat of that package is excessive enough as is.
Hi, OK for point 1). I think you should explain better on your website the kind of medical visit or advice patients will get. It will help your credibility.

Regarding point 2) OK for different pricing for different advertisers, but nobody is going to pay $ 20,000 CPM — the amount you would need to discount 1,000 patients who’d like 1,000 short visits at $19 instead of $39. It’s just impossible.
Social Media Giant Censors Leopold Museum Artworks
Well that's the long term consequence of treating academia as a means of social mobility; a gravy train, rather than a dispassionate search for the truth and knowledge.
> The rotary tool features a 24 volt DC motor, interchangeable implements, and an adjustable motor angle allowing FarmBot to perform light duty weed whacking, soil surface milling, and drilling operations.
Chains have whole departments dedicated to compliance. They chew through any new regulation you throw at them.

I get my groceries from a tiny neighbor market here in Eastern Europe. Usually from women of surrounding villages. Their main worries are in this order: raising market space fees (these go to the city) and new checks and rules they need to follow.
The parent comment clearly states they're talking about investing in the Nasdaq.
To be fair when that was the case (before the Internet with ads) many people were not older than 18yo, so of course they wouldn't be complaining about stuff like that.

But yes, I hated adverts with passion as a child too. I didn't complain about the industry as a whole, I just hated their existence.
You Can't Spell WebRTC Without RCE – Part 1
You mean the comparison is too mild? https://www.merriam-webster.com/dictionary/harsh
More or less, however I really try to not build on anyone else ever again.

I can't find a single dependency in my serious money generating chain right now that isn't replaceable with a similar product within a few minutes or hours if necessary.

My most recent project didn't even last a full year as there was no replacement that worked for me for ChatGPT in that moment. It was built to die, a gamble essentially. I wouldn't waste my time for things like this if I didn't had the end calculated in already.
It's not targeted at farmers clearly. The page literally says the xl version is for a family of four
> For a century there seemed to be a 'social contract' that getting young people a home and helping them start families was important for the country, now though that concept seems to be totally dead.

In fact every federal and most state governments across the political divide have had some form of "first home buyer" grant or program for decades to get people into the market. Often these programs offer reduced interest, lump sums or deposits of 1-10%. This of course decreases supply.

Notice that all of these homeowners (as a collective group) have pulled the rope up behind them. For a lot of them they can't afford their house value to go down as they're on a 35 year mortgage. A 20% drop in house value could effectively destroy 5-10 years of their work paying it off via devaluation.

What would you have people do? These are self-created problems with no easy exit strategy.
From the linked regulation:

> Technical information received by the Commission and validated by ECAC States and laboratories, shows that the existing configurations of standard C3 EDSCB equipment to which the Commission has granted the ‘EU Stamp’ marking or the ‘EU Stamp pending’ marking need to be revised in order to improve their performance

Sounds like this might be a software problem of some sort, although it’s surprising if that’s affecting multiple vendors. Maybe an issue with the certification process?
I disagree.

Meta, Anthropic, Google, Mixtral have demonstrated that OpenAI can be caught and matched.

Today, if you have a powerful enough GPU cluster, you can run an internal GPT4-level LLM by deploying Meta's LLama 3.1 405b.

If OpenAI's GPT5 is as big of a leap as GPT3 to GPT4, the hype will reach unprecedented level again in my opinion.
Sometimes called https://wiki.c2.com/?TracerBullets
That is not UB. That is simply mutable data. The solution here is static analysis (Rust) or immutable persistent collections.
Can this be used to capture the packets of another computer?