skysight-inc/HackerNews huggingface dataset:
> How does GPT-4 achieve in-context learning without finetuning its parameters?

GPT-4 can use its ability to encode problems in PDDL and in-context learning to infer the problem PDDL file corresponding to a given problem (P). This can be done by providing the model with a minimal example that demonstrates what a correct problem PDDL looks like for a simple problem in the domain, as well as a problem description in natural language and its corresponding problem PDDL. This allows the model to leverage its ability to perform unseen downstream tasks without having to finetune its parameters.
I'll stand by what I wrote, despite agreeing with some of the points raised.

If you do a magic trick, have you done magic? No. You appear to have done x or become y or destroyed z. It's a trick. It isn't real. It's a misdirection. If the person figures out how you did it or that magic doesn't actually exist, it's still a trick. An illusion. Even if it collided with their logic.

The problem of pausing for breath is likely very easily solved with randomization and/or monitoring punctuation and character/word count.

The father not being convinced is likely a multi-faceted problem. It's weird to be asked for your social security number out of the blue, and that gets people on edge anyway. The headline alone is sensationalized, eschewing that piece of information or slant is also peddling a very specific narrative.
I've built a CRM (https://www.bizzey.com) for myself to automate my accounting / business administration. I was freelancing on the side and noticed that many of the business solutions where either crazy expensive for a single person business or looked like they were made in the 80's.

It has since exploded into fully fledged CRM with all kinds of features you can choose from. I originally built it for myself to keep track of everything expenses, recurring invoices, ... At some point a freelancer saw me working in it and asked what I was using.

Told him what I was working on and he became my first customer, since then it has spread through word of mouth.
I find this thing that companies are doing where they try to make it look like their software is open source but then pull the rug out to be super annoying.

What's the point of having a Github link that points to a repository with nothing but a readme in it, other than to trick people into thinking you're part of a community that you have no intentions of actually joining?

I'm not going to help a company beta test their products when I don't know if I'll even be able to use it. Either commit to having an open source tier or share your pricing plans, otherwise it's rude to expect the community go provide you with free QA services.
> Very weird thing to hear from someone who claims to be a vegetarian.

A lot of vegetarianism is cloaked aesthetics.
This is true. And now MongoDB is miles better.
I’m not sure that’s true given hardware as a limiting factor. Small teams have always been able to move faster in building things, they have fewer requirements and less to lose.

But small teams can’t buy expensive hardware up front, and modern AI is hardware constrained for many purposes. These companies will either end up renting hardware from cloud providers, or using AI APIs from cloud providers.
How do you propose they fix the milk in processing? Are you saying they are removing hormones from milk before bottling? I need some data about all these things you are claiming.
It doesn’t look like three dudes in hazmats suits once it’s sitting on the table in front of you.

It just looks like steak.
They don't like "chemicals".
Yeah, I'll believe Mars colonization makes sense once the much closer and more hospitable environments of interior Antarctica and the ocean floor are settled.
This is such a cool project! I live right next to a busy road and for a long time have wanted to do something like this that would count the vehicles passing. I've always been curious how many cars pass on a given day and I feel like the hardest part now adays would be getting the right camera angle so if cars are occupying all 3 lanes they aren't counted incorrectly. From there I just need to detect cars as they pass and count them.

It's really cool to see it used like this! The resulting images are really neat as well!
It's probably from the whole AI safety thing where they try to not have it offend anyone.
In my case it's an issue of relative income - I have a large group of friends that have been together for more than a decade and our income levels have dramatically diverged. We're very comfortable with each other but there's an undercurrent of social implication whenever we go out to somewhere on the nicer side, or somewhere that's a little out of their normal routine.

Like several other commenters in this thread, I have more than I need and really enjoy spending time with my friends, so I naturally pick up the bill whenever I can. My friends are appreciative, but they also feel awkward about going out with me sometimes because it feels like they're implicitly asking me to pay, which in their minds is unfair and uncouth. It also could be interpreted as me suggesting that they couldn't pay for themselves.

Another layer of this is that most of my friends were raised in Asian cultures, where fighting over the bill is normal and even expected. It's hard to fight for a $500 restaurant bill for 10 people on near minimum wage, so you can imagine some real mixed emotions when the server obviously doesn't want to split it. I'll pick it up every time, but it's naturally a hit to your pride when compounded over the years no matter how gracious you are about it.

Like the OP of the article, I spend a lot of time thinking about the dynamics at play here. I love and respect my friends, but frankly a weekend at an AirBnB the beach or even a modest ski vacation is just out of their price range most of the time. Sometimes it really is easier if you phrase it with a little white lie about how it came to be in order to preserve their pride, because the real important thing is getting to spend time together.
Sarcastically, moving fast (while breaking things) is not the exact way to a success because nothing works at the end.
There's been so few serious Tritium exposures in humans so we don't know how much it would take to cause serious harm in humans. There have been some limited studies done on things like yeast and mice which suggest you'd have to ingest an extreme concentration of it to see increases in cancer rates.

Here's a chart with various drinking water limits included:
https://pbs.twimg.com/media/FplBOWxWAAAT_Jz?format=jpg&name=...

Backing study:
https://academic.oup.com/jrr/article/62/4/557/6256015

> Leaking Tritium in some obscure dose is a problem just because 1. the dose is unknown and 2. we are mostly made of water.

NRC regulates and monitors tritium spills quite actively. Here's an excerpt from their page on Tritium: https://www.nrc.gov/reading-rm/doc-collections/fact-sheets/t...

> As an example, drinking water for a year from a well with 1,600 picocuries per liter of tritium (comparable to levels identified in a drinking water well after a significant tritiated water spill at a nuclear facility) would lead to a radiation dose (using EPA assumptions) of 0.3 millirem (mrem). That dose is:

- at least 2,000 to 5,000 times lower than the dose from a medical procedure involving a full-body CT scan (e.g., 500 to 1,500 mrem from a CT scan)

- 1,000 times lower than the approximate 300 mrem dose from natural background radiation

- 50 times lower than the dose from natural radioactivity (potassium) in your body (e.g., 15 mrem from potassium)

- 12 times lower than the dose from a round-trip cross-country airplane flight (e.g., 4 mrem from Washington, D.C., to Los Angeles and back)
Traditional 19th century greenhouse technology accomplishes this just fine; tropical fruits grown in temperate climates isn't wizardry. The problem is transportation of foods actually grown in the tropics has become much cheaper, so the economic niche for greenhouse grown tropical foods has narrowed considerably. And of course, using LEDs and solar panels instead of plate glass roofs makes it worse...

(Incidentally, most tropical soil is notoriously poor, so getting the soil right is one of the easier parts.)
It would be interesting to see the EROI on these vertical farms. My guess is that dozens of calories (mostly originating from fossil fuels) go into every food calorie produced. If you want to convert petroleum to food, there are far more efficient ways to do it.
Gen Z mental health: The impact of tech and social media
Shared Slides Clicker [1] - an extension to allow for multiple people to remotely drive a single Google Slides presentation. I created this because it drives me insane when I hear people saying "Next slide please"! It leverages React and Firebase.

Simple Weekly Meal Planner [2] - a very simple, free PWA for deciding what you want to make for dinner each week and tracking all the ingredients you need to get from the market. I built this because meal planning is one of the most annoying parts of adulting. It was built with Svelte and Firebase.

Audiobook Locker [3] - a Tauri-based desktop app for managing your audiobooks. Think calibre-for-audibooks. I created this because I wanted a nice way to keep track of which audiobooks I'd completed and which to read next. It uses Svelte for the UI and Rust on the backend.

[1]: https://fonner.gitlab.io/shared-slides-clicker/
[2]: https://simpleweeklymealplanner.com/
[3]: https://fonner.gitlab.io/audiobook-locker/
I'll have to check when I get into work.
It’s a good question. Intel P/E is around 17 while Nvidia is around 82. With government support or infusion I have a hard time seeing it go lower.
Actually, the available evidence does suggest that Musk is an idiot.
Thats actually a great compromise and happy that it is working for your family.

I've found a lot of parents have trouble switching from being providers to being provided for, especially if some of your siblings are still "takers".

Personally my parents insist on us joining them on vacations I extremely don't want to go on (Orlando theme parks in peak 100F+ summer heat as 40ish couple w/o kids), and that they'll cover the expense.. when the expense isn't the issue, and 1/10th of what I'd spend on holiday.
He didn’t conflate anything. He said “I’m vegetarian.” You are the one who is making ethical assumptions on his behalf. He can state he is a vegetarian and then state another opinion without an arrogant and condescending vegan looking down on him from up high.
Intel got out of memory when that became a complete commodity, similarly Intel sold their NAND business (now called Solidigm) a while ago to Hynix, because similarly NAND and SSDs are now commodities (in the sense of highly standardized, interchangeable product made by a large number of competing companies). It does make sense if you only wish to keep things where your company has unique advantages and doesn't need to compete solely on price in a commodity market.
dimitar found and linked a screenshot upthread: https://raw.githubusercontent.com/nubank/morse/main/screensh...

(more would be nice but it's a start)
It takes one generation to forget the past, AI LLMs know this.
of all places, how does vertical farming make sense in Australia?
Surely there's an enormous amount of horizontal space that you could use?
That’s a very strange response. There are a ton of trivial reasons why it’s important for future natural language interfaces to understand ambiguity.

If I tell my friendly omnipotent AI friend “I hope I never hear from Dave again” there are several interpretations, one of which involves killing Dave. I’d definitely want the AI to do a little disambiguation before taking an action.
ExxonMobil reports record profits of $11.4b
That might have been true when they made the record, but is it still true now?
Ah yes my favorite counter-argument: check your privilege.

The GDP per capita of Burundi is $221. A couple years ago a single Bitcoin transaction cost $60. The thermodynamics of these kinds of systems make them dramatically more expensive than classical finance because you have to replicate the data so many times. The only reason a Bitcoin payment doesn't cost significantly more than that is nobody's using it, lol.

It's slow, it's inefficient, and worse yet, there's no authority to help try and stabilize the currency. The worst off are hurt the most by wild volatility swings, and crypto is volatility incarnate. The promise that volatility would decrease as a function of market cap simply did not materialize.

Enough with the silly privilege arguments, let's stick to facts.

I specifically called out M-PESA because it's a regional solution to an actual problem they have. [1] And not a blockchain in sight.

[1] https://www.vodafone.com/about-vodafone/what-we-do/consumer-...
How to Re-Energize Disconnected Classroom Participants
My wife has a goal to run 1000km this year, and uses an Apple Watch to track them. But getting to the YTD total is a pain in the fitness app.

So I made the worlds most basic iPhone app with React Native, that grabs the data from HealthKit and shows it across a percentage of the year.

Simple but effective.
Well, people can always do illegal things.
The first big fitness challenge IMO is to convince people to switch from convenient, garbage food to actual food. The second challenge is to convince people to eat less food. After that we can worry about an exercise plan.

But no, instead we are hawking diabetes drugs that cost $1200/mo as solutions to overeating. I hope the FDA doesn't approve them. With 40% of adult Americans obese and 70% overweight, I can't imagine how we can pay for these drugs to treat weight problems. And I know the next argument: "We'll pay less for the drugs than we do for all the other health expenses of being overweight". A better solution would be to not insure people who are obese.
weirdly broken
C++ could add a an explicit conditional move I suppose. `x` and `y` types would have to be restrictive:

x = std::cmove(y,flag);

The compiler would be slightly mrve compelled to use a hardware conditional move than in the following case:

if (flag) x = y;

The other option is to do something more like CUDA / SIMD kernels do ... every line gets executed but each each instruction inside the "false branch" becomes a no-op. Of course this requires hardware support.
Maybe I just know how to pick good hotels? Every single point you just mentioned has not applied to the way I typically do it, the cancellation policy is always the first thing I look for and make sure it’s clearly spelled out. I’ve never had any problems actually interacting with the sites either.
Tuning vector recall while generating query embeddings in the database
or they could just hire people in the US, there's plenty of good US labor to go around.

The point of these programs was to augment labor markets in times of shortage (H1B isn't just used by tech FWIW), IE, the internal US labor pool wasn't big enough to sustain hiring in the US for N job(s) due to requirements and you could demonstrate that some form of training would be sufficiently work in a timely manner

Its been pretty clear this isn't really true for decades yet H1B hasn't been curtailed meaningfully to uphold its intended goals
It should exist and would be super powerful considering all the recent advancements in language ML. Here was the mental model of my model: the canonical representation (i.e. a representation after taking out run-time populated fields) of a log line represents the smallest meaningful unit of this "log language": _a word_. Taking this analogy further, an event is a collection of logs that occur together (mostly in order)—just like words spoken together form _a sentence_. Finally, collections of events that occur in close proximity (in time) represent _paragraphs_, while paragraphs occurring in a certain order constitute _chapters_. Using this mental model opens the door to apply all the new AI techniques for text extraction, summarization and generation to extract the semantic structure of any "log language" and then learn and classify behaviors observed at run-time. The eventual objective function is not generation though--it's reasoning with the optimal FP-TP tradeoff on a ROC curve.

I haven't seen anyone do it yet. Maybe companies like Splunk and Elastic will take a lead here. I am happy to engage, advise and contribute if there is an open source project around this.
Has anyone else seen something remotely close to this?
I made a "bot" server for myself, which is really just a server and app framework to host a bunch of scripts. The framework handles:

- Running bots periodically
- Receives webhooks
- Handles OAuth
- Provides a shared DB
- Posts updates to and receives commands from Slack

It's not very innovative, but super helpful. I love that I can deploy a new script so easily and already have all the tools I need so I can just focus in the logic. A few bots I have running:

- I run a site with thousands of articles, so one bot checks 10-15 articles per day for spelling mistakes, broken links, broken images, poor formatting, etc. Tasks to fix these are then posted to Notion.
- Monitor Hacker News and Reddit for mentions of the sites/apps that I run so I can respond.
- Sync calendars between apps without having to make them public
- Gather financials and reports from various sources for bookkeeping
- Monitor all of the servers we run and sync their status to Notion

Probably at least half of the automations could work on something like Zapier, but this is more fun and I get a lot more control over them.
If you're interested in making your own game, please feel free to reach out on Discord: https://discord.gg/cx3usBCWnc

Or refer to some existing WASM game examples: https://github.com/extism/game_box/tree/main/games - currently games can be built using Extism PDKs in any of Go, Rust, Javascript/Typescript, Zig, Haskell, AssemblyScript or C/C++!
What happens if you answer with something approximating the hemming and hawing rather than a straight yes or no? You can encode that into text, it's just less common outside of very informal chat conversations.
This is fantastic. Great work. Works well on my iPad but no ‘face’ just a blank screen. Crashes on my M1 Mac Air. Let me know if there’s anything I can do to help debug.
How is this a topic for HN?
Would love to see examples of these "powerful applications" built in "minutes or hours" by "AI engineers".
And due in part to laws in many states prohibiting photographing inside meat production facilities (the so-called Ag-Gag laws.) I think a side by side comparison with photos/videos would be highly favorable to the lab grown meat folks.
The most useful thing I built for myself is my workflow.
Being both on the ASD and ADHD spectrums, I intuitively knew I need systems, and started working on them, long before I was diagnosed and got treatment.

One of my dearest parts of my system is the knowledge, task, and time management part. There's many things to improve, but I'm really happy to where I got.

TLDR; custom org/markdown/hyperlists-inspired document syntax powered by tree-sitter, go library for accessing the data, command line utility with interactive task manager (built in with a custom React-like component-based TUI framework), Neovim plugins and integrations.

This short video explains more than I can in a short time: https://gist.ro/slang.mp4

Extra - Thank you Org mode:
I do my work in a terminal emulator, so (obviously) my editor is Neovim. Two years ago I allocated a few weeks to learn Emacs and to review Org mode, I was hooked on so many concepts, and I loved it. Didn't like Emacs through, it's just too slow for me, and Elisp felt very meh if not yuck. There's quite a few things that I liked so much while testing Org mode, and that I tried to port.
>> The tabloid news service runs in the kernel?

You know the browser used to be an integral and inseparable part of the OS right? They're just going back to their old ways :-)
I'm a moderator of a fairly large (600K) subreddit, and it's relentless. We have to keep upping the minimum karma req's to post but bots just start acquiring more and more. It's a never ending battle.
Pentagon leaker’s violent rhetoric raises fresh questions on top secret vetting
No, the ambassador's statements are completely contrary to Chinese policy. He went off script and stuck his foot in his mouth.

In general, China is extremely hard-line on the idea that sovereignty is inviolable, and that countries should not interfere in the internal affairs of other countries.

Far from saying that powerful states should dictate borders, China - much more than the US or any other major state - insists that borders cannot be shifted. China hasn't even recognized Russia's annexation of Crimea, despite Russia's closeness with China. If China were really trying to normalize the notion that borders are ephemeral, it would have recognized Crimea as Russian long ago. It hasn't.
Are we living in bizarro world here? This is not some crazy ask and what happens billions of times on Reddit with passwords. There are even 3rd party services that will verify IDs via API and you never even see the data.
If you're referring to the claim that you can say goodbye to VMs, it's false/misleading advertising. It still runs a VM, just like Docker Desktop does.
Love that this is built in Vue. Looks like the source is https://github.com/stevage/geohash-map, so looking forward to understanding how to make maps w/ vue.

What are we looking at though? Logs of personal treasure hunt hikes related to https://en.wikipedia.org/wiki/Geohash and https://en.wikipedia.org/wiki/Geocaching?
Thanks matthewn!

I feel very seen. FYI, I'm working on a web-based version of the CardStock design tool, and am looking for beta testers.

Ben
Again, we're not talking about a lawn mower or toaster. We're talking about a multi-ton autodriving machine of destruction. God no, don't disable a sensor, any more than you'd disable a sensor on a jet airliner.

I agree; farmers should under no circumstance mess with code to perform a repair. I'm concerned that the software documentation is part of this bill (and in the minds of many technologists, should be open).
Which apple M1 exactly are you saying is an ‘incredible’ value? The current-gen Air?
> but it's more like a voucher

Vouchers already exist - they're called cashier checks.

> transferred on an immutable ledger.

Which isn't universally a good thing. If someone steals your voucher, there is no recourse. If someone steals a cashier's check, I can call the bank (and sovereign authorities).

Said differently, one is not equivocally better than the other. There's a tradeoff.

> Wish Hacker News wasn't so curmudgeonly about crypto and actually tried to imagine the multitude of ways it would improve society if adopted.

I wish crypto advocates would stop being such apologists on HN. It's not productive. Make your statement, explain your rationale and defend your position.
> What do you think, say, a milk or orange juice factory looks like?

Something like this:

https://www.youtube.com/watch?v=aZuWvwrEl_I
Yeah, I mean there are a lot of reasons why linux desktop isn't going mainstream anytime soon, but this is certainly not one of them.
It’s a vanilla JavaScript library and you can use it with any framework or site generation tool that you wish. You’re welcome to copy the Vue component we wrote for our VitePress site, or to adapt the same technique for other frameworks. You can supply whatever DOM implementation you like using the document plot option as described here: https://observablehq.com/plot/features/plots