Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Xmd5a
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
23 ms
·
241.
▲
by
Xmd5a
1y ago
Let's get rid of macros then
242.
▲
by
Xmd5a
1y ago
>Large Language Model as a Policy Teacher for Training Reinforcement Learning Agents >In this paper, we introduce a novel framework that addresses these challenges by training a smaller, specialized student RL agent using instructions
243.
▲
by
Xmd5a
1y ago
They've surrounded me. Cameras in every corner. Every move dissected in blogs, forums, peer-reviewed takedowns. "Cult leader". "Crank". "Outcast". Good. Let them watch. I'l
244.
▲
by
Xmd5a
1y ago
https://www.reddit.com/r/math/comments/1bmp1vk/very_salty_mo... Lot of gems in this thread. My favorite: >>>After Mochizuki said that Scholze-Stix were “profoundly ignorant,” I’m starting to thi
245.
▲
by
Xmd5a
1y ago
The tasks these methods are tackling are generally significant and realistic. Think complex QA like HotPotQA or Google-Proof QA, math reasoning (GSM8K), coding challenges, and even agentic systems. It's not just about toy problems anym
246.
▲
by
Xmd5a
1y ago
Here's my recommendation: What you're attempting to do, integrating an agent in your business, is difficult. It is however relatively easy to fake. Just setup a quick RAG tool, plug it into your LLM, and you're done. From the
247.
▲
by
Xmd5a
1y ago
I guess this really depends on the problem but from the PromptWizard (PW) paper: | Approach | API calls | IO Tokens | Total tokens | Cost ($) | |----------|-----------|-----------|---------------|----------| | Instinct | 1730
248.
▲
by
Xmd5a
1y ago
This is exactly what I'm doing. Some papers I'm studying: TextGrad: Automatic "Differentiation" via Text: https://arxiv.org/abs/2406.07496 LLM-AutoDiff: Auto-Differentiate Any LLM Workflow : https:
249.
▲
by
Xmd5a
1y ago
Can't I just work on a subset of the language? I don't care if the linked list implementation I use isn't verified. I want to verify my own code, not because it will run on mars, but as an alternative to writing tests. Is th
250.
▲
by
Xmd5a
1y ago
[flagged]
251.
▲
by
Xmd5a
1y ago
Usually yes. To distinguish between lists and function calls. However if we are to pass code literals to eval, we need to quote them: =>(eval '(1 2 3)) Cannot call 1 as a function. =>(eval ''(1 2 3)) (
252.
▲
by
Xmd5a
1y ago
pince-fesses obviously
253.
▲
by
Xmd5a
1y ago
I've been calling out the similarity of works done by Barbour, Turok, Farnes & Petit for a long time, and the last developments by Turok's team vindicate this intuition. It is now very close to Jean-Pierre Petit's Janus m
254.
▲
by
Xmd5a
1y ago
>There was an interesting debate where Chomsky took a position on intelligence being rooted in symbolic reasoning and Asimov asserted a statistical foundation (ah, that was not intentional ;). Chomsky vs Norvig https://norvig.
255.
▲
by
Xmd5a
1y ago
https://magazine.caltech.edu/post/math-language-marcolli-noa... These days, Chomsky is working on Hopf algebras (originally from quantum physics) to explain language structure.
256.
▲
by
Xmd5a
1y ago
Still up! https://zombo.com/
257.
▲
by
Xmd5a
1y ago
Yes φ is a constructible number and more generally an algebraic number, solution of the polynomial equation x^2 = x + 1. However π is not, and so is my approximation of φ as 5π/6 - 1. Here non-constructibility (in the mathematical sens
258.
▲
by
Xmd5a
1y ago
>Who this guide is NOT for: [...] People that are okay with becoming a lens design zombie. https://web.archive.org/web/20230914035459/https://caoyuan.s... A $500 DIY near-IR spectrometer that would se
259.
▲
by
Xmd5a
1y ago
The meter wasn't invented during the French Revolution, it evolved from ancient measurement systems based on the golden ratio. Traditional body measurements (thumb, palm, span, foot, cubit) follow a Fibonacci-like progression where eac
260.
▲
by
Xmd5a
1y ago
https://x.com/coecke/status/1907809898852667702 >High-schoolers excelling at Oxford Uni post-grad quantum exam, thanks to Quantum Picturalism! thoughts?
261.
▲
by
Xmd5a
1y ago
The tech bros decided to support Trump to go against the older part of the establishment https://www.investors.com/news/technology/palantir-anduril-t... If Altman and Musk can join forces after their legal feud, i
262.
▲
by
Xmd5a
1y ago
I see myself in these words: >that misunderstands some wild fact or theory and starts to speculate dumb and ridiculous "discoveries" >even an idiot can stumble upon low hanging fruits overlooked by the brightest minds.
263.
▲
by
Xmd5a
1y ago
How? I constantly hit the limit.
264.
▲
by
Xmd5a
1y ago
https://arxiv.org/abs/2401.05364 >In this work, we show how to formulate fundamental notions of constructor theory within the canvas of process theory. Specifically, we exploit the functorial interplay between the s
265.
▲
by
Xmd5a
1y ago
>Jardin d'enfant. All languages have noun-phrases. In this case, they are transparent.
266.
▲
by
Xmd5a
1y ago
BBBEE = Broad-Based Black Economic Empowerment https://en.wikipedia.org/wiki/Black_Economic_Empowerment
267.
▲
by
Xmd5a
1y ago
You have no graphs, no concepts, no nothing [...] You never understood the meaning of concept Lyrics are full of depth and ideas connect [...] You can only dream to write like I write, I might Ignite, confuse
268.
▲
by
Xmd5a
1y ago
For instance if the end product, in this case the LLM, is made available to anyone, publicly...
269.
▲
by
Xmd5a
1y ago
>completely unrelated metaphors An oxymoron. De toute façon Anyway Les guides c'est encombrant Guidebooks are cumbersome Les romans trop longs
270.
▲
by
Xmd5a
1y ago
>And dimension 3 is the only one that can contain knots — in any higher dimension, you can untangle a knot even while holding its ends fast. Ok. So, this is a BDSM universe. Interesting.
More ›