HN user

zby

2,793 karma

http://brudnopis.blogspot.com

meet.hn/city/pl-Warsaw

Socials:

- github.com/zby

- linkedin.com/in/zbigniewlukasiak

- x.com/zby ---

Posts58
Comments1,223
View on HN
twitter.com 5mo ago

RLM Explained

zby
1pts0
arxiv.org 9mo ago

Dragon Hatchling: Missing Link Between the Transformer and Models of the Brain

zby
1pts0
github.com 1y ago

HawkinsDB: Neuroscience-Inspired Memory Layer for LLM Applications

zby
3pts1
zzbbyy.substack.com 1y ago

LLMs and Reasoning

zby
1pts0
zzbbyy.substack.com 1y ago

O1, inference time, Turing Machines and stuff

zby
1pts0
zzbbyy.substack.com 1y ago

Separating Data from Instructions in Prompting

zby
6pts2
github.com 1y ago

Show HN: LLMEasyTools – Tools for LLM agents (Python lib)

zby
2pts3
zzbbyy.substack.com 2y ago

Agentic RAG

zby
1pts0
imtech.imt.fr 2y ago

Simplicity theory: teaching relevance to artificial intelligences

zby
1pts0
zzbbyy.substack.com 3y ago

You Need Rag, Not Finetuning

zby
1pts0
noahpinion.substack.com 3y ago

Why aren't wages rising in a tight labor market?

zby
2pts1
www.bloomberg.com 4y ago

A Startup Wants to Rescue You from Browser Tab Hell

zby
3pts0
astralcodexten.substack.com 4y ago

Epistemic Minor Leagues

zby
110pts70
richardhanania.substack.com 4y ago

Tetlock and the Taliban

zby
9pts2
alexdanco.com 5y ago

What’s Behind the Shopify Effect

zby
1pts0
www.slowboring.com 5y ago

Making policy for a low-trust world

zby
2pts1
danco.substack.com 5y ago

Election Day 2020: Rene Girard, Part 2

zby
2pts0
www.thenationalherald.com 5y ago

Slovakia Is Acquiring 13M Rapid Antigen Tests

zby
2pts0
www.rapidtests.org 5y ago

Rapid Tests

zby
1pts0
medium.com 6y ago

Figuring Out Quantitative Easing

zby
1pts0
alexdanco.com 6y ago

Counterfeit Food

zby
3pts1
thefifthwave.wordpress.com 6y ago

2019: The year revolt went global

zby
53pts63
guzey.com 6y ago

Gwern's Most Important Writing

zby
4pts0
www.linkedin.com 6y ago

Paradigm Shifts

zby
1pts0
gen.medium.com 6y ago

Entertainment Is Eating Politics

zby
1pts0
www.interfluidity.com 6y ago

Externality Lenses

zby
4pts0
www.overcomingbias.com 7y ago

Who Likes Simple Rules?

zby
2pts0
library.mpib-berlin.mpg.de 7y ago

The Null Ritual (2004) [pdf]

zby
24pts3
slatestarcodex.com 7y ago

Considerations on Cost Disease

zby
3pts0
en.wikipedia.org 7y ago

Theory of the firm

zby
2pts0

If I remember well, the starting point was that memory is only useful if it changes the system behaviour. There are many ideas of automatic 'tips' or 'rules' that are injected into the prompts so that the agent acts accordingly to some retained lesson. But there are many failure modes for this. But maybe I'll need to revise the phrasing on that page and in instructions.

I believe there should be easy ways to move logic between prompts and code in a smooth ways. Moving from prompts to code is for getting deterministic, fast, well defined and cheap execution - the other way is when you want to quickly extend your system or when you want to relax a pre-condition (which is extending if you look into it deeply).

There are some inroads into this vision - but I haven't seen anything build directly for this (beside my own experiment).

I have some 'vibe noted' notes on this: https://zby.github.io/commonplace/notes/unified-calling-conv..., https://zby.github.io/commonplace/notes/rlm-tendril-and-llm-...

It is interesting to compare this to LLMs - they also have the bounded context that you can see as the analogue to our working memory. It can contain enormously more bits of information than the 4 things the article says is the capacity of our working memory - but the 4 things can probably be much more complex internally - they are more like 4 pointers probably.

But at some level context engineering is very similar to what this article talks about.

If the action is decided by code based on metadata - then what is really the LLM task? And if you say that it is only the type of action that is decided by code - then this is maybe a mitigation - but the llm still can do a lot of harm. And also it is very limiting - using the llm to decide the action is very useful. This is different from SQL injection - where the action is determined by the code and the injection is really making a code parsing error.

It might still be the way to go - but calling it 'the real solution' is overselling it.

They do predict what injections might be effective - so it is a theory. I don't know how novel it is and it is not very deep (as you noted the general mechanism is quite obvious) - but they do it quite systematically so it is useful.

"In the 890s, having recently converted to Orthodox Christianity, Boris ensured his church would be independent from the Patriarchate of Constantinople." --- I thought Orthodox Christianity was created by the Great Schism in 1054.

First you need to write these specifications and if you say just tell the llm to write them - then how would it be different from just tell the llm to write the program?

I guess you can argue that these are two independent processes so you can combine them to get something more reliable than both - this might be a viable path. But from what I heard writing formal specifications is just really hard - I haven't seen anything practical in this area.

""" we need to build:

    Formal specification layers that agents execute against, not just prompts
"""

It is probably easier to just write that program.

If you have a test that fails 50% times - is that test valuable or not? A 50% failure rate alone looks like a coin toss, but by itself that does not tell us whether the test is noise or whether it is separating bad states from good ones. For a test to be useful it needs to have positive Youden’s statistic (https://en.wikipedia.org/wiki/Youden%27s_J_statistic): sensitivity + specificity - 1. A 50% failure rate alone does not let us calculate sensitivity and specificity.

I can see a similar problem with this article - the author notices that LLMs produce a lot of errors - then concludes that they are useless and produce only simulacrum of work. The author has an interesting observation about how llms disrupt the way we judge knowledge work. But when he concludes that llms do only simulacrum of work - this is where his arguments fail.

I don't know - looks like an interesting idea - but ... I am struggling to put that in a polite manner. When I go into the repo and find out that it does stuff like lip syncing of talking avatars then I start to think what percentage of the development effort goes into marketing?