skysight-inc/HackerNews huggingface dataset:
Validating image recognition of foliage in the field and actually using it at scale with all the potential variation in camera quality, lighting, angles, etc seem a world apart.
Didn't mean to imply that although I see where you're coming from. I was instead trying to counter the idea that anything bigger than a surplus room letter is bad.
Proof of concept for a new sensor to monitor marine litter from space
Isn't cough medicine with codeine or DXM more mind altering than caffeine?
I wouldn't expect it to any time soon either. They'll likely find a way to maliciously comply.

My bet is that they'll only allow "Trusted Partners" to interact with their network, and you'll need to sign a contract with one of these partners to connect to WhatsApp. This contract will have pretty much the same terms as signing up with Meta directly.
Ah, the fascists.

https://en.m.wikipedia.org/wiki/Yaroslav_Hunka_scandal
Believe me I would have loved to forklift a load onto a steel beam during mechanical engineering exams just to test my calculations, but somehow none of us were forklift certified and the school failed to provide steel beams to toy around with.

Looking back at that education the important lessons there were to acknowledge that even if multiple people try for hours under high stress to get things right, chances are more than 50% will still be wrong. And to only way around that is to really know your shit inside out.

I had many colleagues who I met uears later which wouldn't even be able to explain basic mechanical laws as all they did back then is learn for exams like other people learn poems. That is what I meant when I said understanding is more important than being right in school. If you construct a plane you better check it ten times and then test it a hundred times.
Worked at a place where the lead engineer was adamant a graph database was the solution. After two years of trying to get it launched, the project failed spectacularly.

Another team got given the rewrite and build it in six months using MySQL.
> I have never seen them referred to as human.

I have never seen anything else. But then in French, they are called Neandertal men and Denisova men. So pretty clearly humans.
Next time you want to stay home destroy economics and life of millions of people please don't drag us with you -[1] "lockdowns have had little to no effect on COVID-19 mortality"

"The price tag of lockdowns in terms of public health is high: by using the known connection between health and wealth, we estimate that lockdowns may claim 20 times more life years than they save."

"Numerous deaths can be attributed to the interruption of normal social life and routine regular social interactions. The direct factors are [25,26]:

increased mortality due to postponement of diagnoses and routine treatments
increase in mortality due to non-arrival at hospitals
increase in mortality due to a decrease in the level of income and as a result—use of less safe cars, reduction in the scope of physical activity, etc.
“deaths of despair” caused by drugs, alcohol, and suicide following loss of social-economic status
increase in violence, including domestic violence; dismantling of families
severe health damage to the elderly in particular—physical and mental deterioration (usually irreversible) due to loneliness, lack of movement, and routine supportive care."

[1] - Are Lockdowns Effective in Managing Pandemics? - https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9368251/#:~:tex....
EU to Charge Apple for Violating DMA
IMO, older DeepMind research was much more exciting and original than nowadays. We do not need more LLMs, we need creativity.
I’m a quite old computer guy in its 50s and I give here and there what you would call a soft skills class.

This kind of class will give you a lot of mentorship, not only from an individual point of view but also from the group point of view. They are also a place to get new safe friendships outside of your company.

If you would like to discuss more, you can contact me at my login alias at gmail.
Show HN: Terge – an easy-to-use library for merging AI models
Hey HN,
This is terge, an easy-to-use library I built for merging PyTorch models of any number, size and architecture.

I've already used it with my own custom Transformers and LSTMs to produce models stronger than any of their constituent members.

It only takes a single line of code to get started, which puts its usability ahead of most other libraries, which tend to require complex, often poorly documented YAML configurations.

If you end up finding the library useful, consider starring it on GitHub to let others know.

PRs are also always welcome.
> Science has proof or nothing. There is no assumptive state.

And which philospher of science said that then? Which others disagree?

Some claim that Mathematics is the Queen of Sciences .. and yet Mathematics rests upon assumptions, some that contradict each other. You know, Axioms.

Basic axioms | assumptions of science, for which no proof exists and yet without which science is and has nothing include:

* That there is an objective reality shared by all rational observers.

* That this objective reality is governed by natural laws

* That reality can be discovered by means of systematic observation and experimentation.

* That Nature has uniformity of laws and most if not all things in nature must have at least a natural cause.
We specify an output schema (TypeScript syntax) in our system prompt, and OpenAI gets it right most of the time. With some regularity it will give invalid (per the schema) output like

- Return a single object instead of an array of objects

- Return an array of a single object instead of just the object

On the other hand I personally haven't seen it give malformed JSON; the JSON is well-formed but not compliant with the schema we specified.
Another consequence of this is that there's no way to share a specific "slide", which is a shame because there's an example about 2/3s of the way down that's really cool but there's no simple way to send anyone straight to it
Ahh, even version 21 now, I've been waiting for that one
The draft specifies (in page 3) that this is only for publicly accessible services: https://cdn.netzpolitik.org/wp-upload/2024/05/2024-05-28_Cou...

So regular folks would get scanned, but the bank's private messaging service isn't included. Just like the child pornographer's private messaging service won't be included either.
This is absolutely true I was throttled and some stalkers flag and hide my posts replying to you trying to confirm this which is unbelievably gross. :/

I hope you see this I'm sorry if it bummed you out. My apologies.
Show HN: I reproduced Code Llama fill-in-the-middle code completion training
As part of my master's thesis on optimizing LLMs for code completion in OpenAPI format, I implemented a script for fine-tuning Code Llama for Copilot-style code completion. Surprisingly, I was not able to find a similar implementation before since most works focus on instruction fine-tuning for chat-like interaction.

Related publication: https://arxiv.org/abs/2405.15729
Code Llama fill-in-the-middle fine-tuning: https://github.com/BohdanPetryshyn/code-llama-fim-fine-tunin...
OpenAPI completion benchmark: https://github.com/BohdanPetryshyn/openapi-completion-benchm...
Factorio Railway Intersection Benchmark
Show HN: Raycast extension to calculate the best time to sleep or wake up
I once witnessed a spider controlling a motion activated flood light to catch prey.

At first I assumed the flood light in my backyard was just being triggered by the wind, as a spider had built a web in front of the sensor, however I then noticed that the light would turn on even when there wasn’t any wind.

Upon closer inspection, I found that the spider had created a singular strand of webbing, thicker than the rest (5x-10x), directly over the front of the sensor.

It would then pluck this thicker strand whenever it wanted the light to turn on.

I had previously read a few papers on spider intelligence, specifically the planning capabilities of certain species, but this seemed like another level.

Not only had it discovered the sensor, it crafted a tool to use it for it’s own advantage.

Humans think they’re something forever unique and special in the evolutionary timeline, but the remembered words of our ancestors trick us into thinking individuals are larger than the herd.

Intelligence comes in many shapes and sizes, and claiming to be above the rest parallels, in my experience, the likes of a liar more so than a truth seeker.

What is consciousness? That which separates us from the animal kingdom. A lie we tell ourselves to sleep at night and die for false prophets.
Numbat – statically typed scientific computing language
Alright. Humor me, what is the issue with F# generics as compared to other languages with generics? Which implementation (that is productively useful) is a "true" one?
The main drawback is really when you attempt to do more advanced prompting techniques like chain-of-thought or reasoning.

forcing those parts to be json, can be hard and unnecessarily constrain the model. e.g. https://www.promptfiddle.com/Chain-of-Thought-KcSBh

try pressing run tests and you'll see what i mean! this method or doing chain of thought works a bit better
Sure but do we want kids to just learn what's the correct sum or do we want them to learn the process to arrived at the correct sum? From my school years as a kid who enjoyed math I had a lot of fun trying to arrive at the correct answer while most of my peers just wanted to get the "correct" answer because they were being tested on it, anything else that wasn't the correct answer had no value to them.

I believe that's what you quoted refers to:

>> White supremacy culture shows up in math classrooms when... There is a greater focus on getting the "right" answer than understanding concepts and reasoning.

> When designing airplane parts, there are definitely right and wrong answers.

Focus on getting the right answer makes kids not value the process to get to the right answers, getting the right answer is a result of a process they need to learn but if they are only tested on if the answer is right or wrong they won't learn the concepts and reasoning, they will memorise a formula and apply it at wrong times/places because they don't know why the formula is what it is.
You never send your password to their servers, they use the "secure remote password protocol" : https://en.wikipedia.org/wiki/Secure_Remote_Password_protoco...

They explain what they do here : https://proton.me/blog/encrypted-email-authentication
Yup. I gave up on trying to get Google wallet / Android pay to work on my lineage device. I got it working sometimes but it broke after update and just wasn't reliable enough to keep trying when paying for stuff. I'm not really sure whom they're protecting with this stuff -- the credit card processing companies, maybe?
Not everyone with an opinion you dislike is a bot.
This website is totally illegible to me
IIRC the lower speed in fiber-optic cables has to do with the the refractive index of the glass, and maybe some bouncing introduced by curvature.

I'm not sure what kind of refractive indices are possible in much smaller photonic circuits, particularly if it's not practical to develop and run everything in a permanent vacuum.
Just a heads up - for its own advantage
Why is it so hard to accept that different people can have a different internal experience of our shared reality? Perhaps different people have conscious awareness of different aspects of their own cognition pipelines though the pipeline is similar for most people, or perhaps there is a more fundamental diversity in how different people think.
I find it interesting though how strong an aversion some have to being told what's going on in their own heads.
I did try talking to Barclays and they were less than helpful...
Yes. To test this, close the website and go and shout out of your window.
>I suppose that's why a silly Canadian like me wouldn't know much about other countries. We just don't have free speech.

You're speaking of Canada, the same country where the (Canadian) Bill of Rights can be suspended (which to begin with, this document is not taken very seriously) along with the Charter of Rights and Freedoms which is present in your constitution, and free speech with it, for the "good of the people" of course... Yep, you're right, you don't have meaningful free speech, nor do you have that many rights compared to the US.

Oh, and, you're Prime Minister is also basically an absolute monarch compared to the US President, given how few meaningful checks there are limiting his power.

I admit, a few years ago I was naive about just how free Canada is, but once I started reading your statutes a lot of things started surprising me, in a not-so-good way.

(Now, don't take this the wrong way, you're still a freer country than fricking North Korea, but relatively speaking, for a Western democracy, you just ain't that free, bud.)
Well I'm glad the vast majority of people don't agree with you and actually recognize there's nuance here.
My bad, I think I didnt explain correctly. Basically you have two options when a "," is missing (amongst other issues) in an LLM output which causes a parsing issue:

- retry the request, which may take 30+ secs (if your LLM outputs are really long and you're using something like gpt4)

- fix the parsing issue

In our library we do the latter. The conversion from BAML types to Pydantic ones is a compile-time step unrelated to the problem above. That doesn't happen at runtime.
Mandarin Leaves a Manhattan Courtroom Lost in Translation
oh thats really interesting, how often do you get errors like that?

fyi, we actually fix those specific errors in our parser :)
That's not what I said. My point was that an arena allocator has to be managed at a relatively high level. Similarly, an allocator responsible for 0 on free would be managed at a similar level. They are orthogonal concepts as you say, but there's no reason 0 on free can't be managed by an allocator.
The only potential danger of said technology is that it may be confused as something trusted, but as shown above, trust is a fundamentally flawed concept. Which means that if danger actually arises, it was self-inflicted.
Other species have culture (behavioural traits/patterns and social organisation/cues that are communicated, not innately inherited via genes and development), and other species have tech (making intentional modifications to their environment, creating structures that better support their existence).

What seems to be rare is the ability to use culture a medium to store and transmit tech.
It ain’t rose tinted glasses at work here. BeOS’s pervasive use of non-blocking message passing made its UI smooth like butter, almost no matter how much you loaded the machine up. There was nothing like it then, and outside of Haiku I’m not aware of anything like it now.
I sure did. She said it doesn't matter, or we don't need to understand right now. As I said, shw was not a good teacher.

As an educator myself the point I am trying to make here is that the why is crucial in complicated topics and if someone who was mentally there even feels the need to ask the why you should probably reconsider the way you chose to teach things.

I vividly remember the moment when I researched integeals for an exam. I found the typical simple examples and wondered why the hell that teacher didn't mention this once. In fact today I am convinced the right way to teach such topics is to always bring up the examples even (or especially) as you dive deeper into the material. This reminds people what they are actually dealing with.
What is service time?

Edit: service time is processing time. 6:35 in https://youtu.be/03GsLxVdVzU
Some people enjoy expressiveness in their programming language. Some people don't. Some people like both, I'm one of them, and for some programs I choose expressive languages like Haskell or Common Lisp and for others I use unexpressive languages like Go or Zig.

Take these things a little less personally. Live and let live. People think differently from you, and that's okay.
Doesn't really matter what Signal does. If this goes through then the next push will be to implement the scanning at the OS-level for non-compliant apps. Or just to demand that Android and iOS get the ability to block apps on a government list even if installed outside the app store. Sure, a few hackers (and the criminals) will always have secure communications but you can't win the fight for widespread secure communication against the government's will with technological means.
Just FYI, all the it'ses you used in this comment are the wrong ones. Should have been its
AI Powered Self Serve DSP for Programmatic Advertising
Using Pydantic also looks very close to the DSL (trivial to translate mechanically)

https://docs.pydantic.dev/latest/concepts/models/#dynamic-mo...
Ask HN: SMTP server for incoming mails, outgoing mails through big provider?
Does anyone have experience running your own SMTP server for handling incoming mails while sending outgoing mails through a large third-party provider? My thinking here is that deliverability is the main issue when operating your own e-mail infrastructure, while receiving mails should be easier, so I considered handling incoming mails through my own server (which is best for privacy) while sending (most) outgoing mails through an external service with good reputation. Could that work?
If you're going to go through the effort of faking honeypot/analysis tools, why not just run them?
I have endless admiration for Lisa Su, but lets be honest, the reason Nvidia is so big today is that AMD has had amazingly bad management.
Yesod seems interesting indeed.

Even though they are biased:

"From a purely technical point of view, Haskell seems to be the perfect web development tool."

But I skimmed the tutorials and can say, I am really not surprised, why it did not take off.

The perfect web developement tool is simple in my opinion. Yesod isn't.
Given they don't complement each other, I predict that equilibrium to be unstable: either nuclear or renewables will grow to mostly replace the other, due to economic forces.
Costs a lot of cycles to run those for real, and it’s not super common to get infected with anything, so you’re wasting cycles for a small chance at avoiding it. This could be better since, I assume, it doesn’t do a lot of stuff.
Author here! I very deliberately avoided making that claim; the table is actually very unsorted right now, in no small part because all the solutions in the space satisfy a very different set of usage criteria - some folks use Python, others use TS, yet others want Golang or Java or something else; some want support for Ollama/llama.cpp/vLLM, others are looking for OpenAI/Anthropic support.

That being said, if you have suggestions for how we can make this table more objective, we’re all ears!
It is very sad what going on to you. I am not in the US, nor coding need for now. But I wish you to rebounce and find a new stability. Good luck !!!
Show HN:A Browser sidebar plugin for AI chat, search and web browsing,like sider
Hey HN,

BrainyAI is a free and open-source browser plugin that brings together the latest AI models and search engines from around the world, letting you access AI chat, search, reading and smart webpage summaries right from the sidebar of your webpage. (Free alternative to Sider and Monica.ai).

BrainyAI’s development is all about making work and study more efficient. We’re seeing an explosion of AI language models and search engines, each with its unique set of pros and cons. Picking the right tool from the bunch can significantly enhance productivity. However, the constant need to log in and toggle between various AI services can be a drag and may even impede efficiency.

We hope to incorporate the power of advanced AI models into users' everyday routines and workflows. With BrainyAI, there’s no need to leave the page you’re on or deal with the hassle of logging in and switching between AI services. You can leverage top-notch language models like GPT-4, GPT-4o, Claude, Gemini, Moonshot, and LLaMA3 for tasks such as conversation, search, summarizing web pages, and reading files—all completely free.

We hope you find it useful and we'd love to hear what you think!
Ironically, in this specific instance (Android), it actually _isn't_ GNU/Linux. Distros like Alpine also aren't GNU/Linux.
Fun concept.

If the creators read this, I suggest some ways of building trust. There’s no “about us”, no GitHub link, etc. It’s a random webpage that wants my personal details, and sends me a “exe”. The overlap of people who understand what this tool does, and people who would run that “exe” is pretty small.
The EU is an evolution of the EEC which is much older. The whole federation as a concept was made after and in response to WWII
Isn't the risk then that they'll first start scanning for "Scarecrow", or is that hidden somehow?

Also somewhat surprised the source isn't available. That makes trusting it harder, especially to the people it's aimed at.
When is Scarecrow Advanced++ with NextGen Anti-Detection and Cloaking will be released?

Jokes aside, this is a temporary fix at best, a waste of resources and impression of safety at worst.
I'm glad someone else finally said it, those born blind cannot possibly have AGI!

/sarcasm :D
The math seems to be off in a few places:

1. When solving for the arrival rate λ, it should be λ=ρ/S instead of λ=S/ρ.

2. Calculating the arrival rate λ with the correct formula results in 9 requests/second instead of 10 request/second.

3. Calculating the new utilization ρ should be 0.05x9 instead of 0.05x10.

The result of the calculated utilization ρ is correct (0.45), so is the calculated new latency.

edit: new lines
I would assume there would be a small intersection of people that would download and install a windows program from an unknown web page and those that are worried about malware.

But perhaps I'm wrong
> The host entities of AI factories will be entitled to receive EU financial support to cover up to 50% of the acquisition costs of AI supercomputers and up to 50% of their operating costs.

I guess Nvidia will be happy with that
Was it widely believed? That statement seems bizarre to me, as pretty much all pediatricians have poked infants with needles and witnessed them start to cry, ever since needles were invented. Same goes for other medical procedures since long before needles, and for parents since forever.
Narrator: and so the arms race continues.

I guess if this gets enough attention, malware will just add more sophisticated checks and not just look at the exe name.

But on that note, I wondered the same thing at my last workplace where we'd only run windows in virtual machines. Sometimes these were quite outdated regarding system and browser updates, and some non-tech staff used them to browse random websites. They were never hit by any crypto malware and whatnot, which surprised me a lot at first, but at some point I realized the first thing you do as even a halfway decent malware author is checking whether you run in a virtualized environment.
Totally agree. So does Peter Norvig: https://www.noemamag.com/artificial-general-intelligence-is-...
And you can read more here:

https://en.wikipedia.org/wiki/Queueing_theory
The web search lies in the heart of the problem for me.

Pages with ads will rank higher because of Google. It decides what is seen and what is not seen. It will definitely like pages with ads more.

Google does not have to care about quality, as it does not have competition. Yet.

Google search drowned other smaller communities.

The Internet is run by ads. The search is run by ads. Why do we wonder that our content has ads? Now we observe how much a user can tolerate.
But how large is the error? If it's 1m per day, that would be fine, wouldn't it?
Well then you just need to put scarecrow on your honeypot boxes.
Reminds me a bit of Genetic Programming as proposed by John Holland, John Koza, etc. Ever since GPT came out, I've been thinking of ways to combine that original idea with LLMs in some way that would accelerate the process with a more "intelligent" selection.