pizza

9 ms·

61.
by pizza 1y ago
Say what you will but customers pay to not suck it up
62.
Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories(arxiv.org)
9 points by pizza 1y ago|0 comments
63.
by pizza 1y ago
Anything with a linter means, at minimum, free verifiable rewards for RL (though whether something parses versus looks good is another story). That, plus, they have more data than anyone, and also it seems somewhat reasonable that stronger
64.
by pizza 1y ago
> 3. There are no applications outside of potentially other pure math research. I would feel remiss not to say: such statements rarely hold
65.
Wave of syringe attacks mar France's street music festival(france24.com)
10 points by pizza 1y ago|4 comments
66.
A GOP Plan to Sell Public Land Is Back. This Time, It's Acres(nytimes.com)
7 points by pizza 1y ago|0 comments
67.
The Anatomical Relationships of the Tongue with the Body System (2018)(pmc.ncbi.nlm.nih.gov)
3 points by pizza 1y ago|0 comments
68.
by pizza 1y ago
That's why I'm very excited for the potential metaphysical ramifications of DolphinGemma
69.
by pizza 1y ago
This seems like the type of work that, whether or not it itself is profound (which I believe it seems it is), will accelerate the forthbringing of derivative works that will definitely be profound.
70.
Sciop: Collecting at-risk data in torrent RSS feeds(codeberg.org)
4 points by pizza 1y ago|0 comments
71.
by pizza 1y ago
ChatGPT, is that you?
72.
by pizza 1y ago
Check out tropical algebras
73.
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths(arxiv.org)
2 points by pizza 1y ago|0 comments
74.
Direct estimates of irreversibility from time series(arxiv.org)
5 points by pizza 1y ago|0 comments
75.
by pizza 1y ago
Another one: SequenceMatch: Imitation Learning for Autoregressive Sequence Modelling with Backtracking https://arxiv.org/abs/2306.05426 There was also an hn thread: https://news.ycombinator.com/item?id=
76.
by pizza 1y ago
I think this is really about the actively made decision to spend longer with each sensation than you 'normally' would - relative to your own individual baseline. Basically whether this is a tool in the person's metacognitive
77.
by pizza 1y ago
If you want a hard problem that's far from predictable with tangible utility, why don't you work on something that helps humans with human problems, but whee you can still use your talents? Some research that could help understan
78.
by pizza 1y ago
As I was reading through this, I realized that there's also something kind of similar but in the 'opposite direction' - thermodynamic computing. E.g. - radiation tolerant ML: do ML 'work' steps despite noise - therm
79.
by pizza 1y ago
Probably not a top priority but it would be really really cool if this thing had solid t-string support from the jump, to the extent that it’s feasible without actually executing code
80.
by pizza 1y ago
I don’t think there is clinical level evidence for it, but there’s this thing called Trauma Releasing Exercise which apparently some people swear by. The idea is that you do extremely taxing, high neuromuscular-recruitment static holds etc
81.
by pizza 1y ago
Are you sure about that? Try these.. - (1e(1e10) + 1) - 1e(1e10) - sqrt(sqrt(2)) * sqrt(sqrt(2)) * sqrt(sqrt(2)) * sqrt(sqrt(2))
82.
by pizza 1y ago
"if it were a fact, it wouldn't be called intelligence" - donald rumsfeld
83.
by pizza 1y ago
Think of it as generating a constantly streaming infinite list of latents. These latents are basically decoded to a tuple [time_until_my_turn(latent_t), audio(latent_t)]. You can train it to minimize the error of its time_until_my_turn pred
84.
by pizza 1y ago
Context: I've spotted an interesting bug where Claude's citation feature occasionally fails to render properly, exposing this raw markup format: :antCitation[]{citations="<hash>"} When I searched for info
85.
":antCitation[]{"(google.com)
6 points by pizza 1y ago|1 comments
86.
by pizza 1y ago
There are articles on The Guardian for each of those topics. They published this article because it's a quick and easy one to write, and they knew we would talk about it.
87.
by pizza 1y ago
Well.. autodiff isn't particularly technically sophisticated. But I doubt that when it was first invented in the 1950s, people could have foreseen that a lot of autodiff put together can write an implementation of autodiff. If you&#x27
88.
Topology of Musical Data(arxiv.org)
4 points by pizza 1y ago|0 comments
89.
mcp-solver: MCP server for constraint optimization and solving(github.com)
2 points by pizza 1y ago|0 comments
90.
by pizza 1y ago
https://archive.is/jzeCn

More ›