woggy

5 ms·

1.
by woggy 5d ago
I don't really know much about this stuff, but are systems available that can detect this kind of behavior and react accordingly?
2.
by woggy 5d ago
Yes, this is OpenAI hacking other entities ... clearly this is on OpenAI
3.
by woggy 9d ago
Interesting, never heard of this. But it looks so, so wrong.
4.
by woggy 11d ago
MCPs are useful in an engineering context to allow for API access in applications where the API needs to run in-process. e.g. in Autocad funnel a script in, compile it and run it within the Autocad environment. The MCP does little more tha
5.
by woggy 12d ago
Bobcoins. Hehe.
6.
by woggy 17d ago
I guess Ontario needs to be renamed to America now ...
7.
by woggy 19d ago
I think this is a lot better from how I remember the previous site; it doesn't immediately come off as LLM generated.
8.
by woggy 19d ago
I'm not sure, when I try to picture something I just get the concept of it in my head. I thought people were just really good at taking that and working out how to draw it out. Makes a lot of sense to me now that some people can be so
9.
by woggy 19d ago
Why maximum notice? Why not minimum notice? Elon doesn't deserve more than that.
10.
by woggy 20d ago
I had no idea people could conjure images in their head.
11.
by woggy 20d ago
I thought Australia was especially sensitive to climate risks
12.
by woggy 26d ago
100%! It is a real mental block!
13.
by woggy 26d ago
Meanwhile Trump is pushing to rekindle his love affair with Kim Jong Un.
14.
Agentic Proof-Oriented Programming(fstar-lang.org)
1 points by woggy 1mo ago|0 comments
15.
by woggy 1mo ago
I think the right language for agentic coding is something that brings in more ideas from formal verification, in a way where the spec and executable code live in the same world. I don't really know what that will look like but that&#
16.
A field report of using Alloy with agent-based development(alloytools.discourse.group)
1 points by woggy 2mo ago|0 comments
17.
The TLA+ Video Course(lamport.azurewebsites.net)
5 points by woggy 2mo ago|0 comments
18.
by woggy 2mo ago
Great engineering feat considering the small time window that Fable was available for.
19.
by woggy 2mo ago
OCaml
20.
by woggy 2mo ago
Ask Sol 5.6 for the answer
21.
by woggy 2mo ago
Asking it to apply the YAGNI principle also sems to work well for trimming codebases down. Generally ask it to review, generate a list of review points, then we go through each one together and I make a decision yes/no on each one (or
22.
by woggy 3mo ago
Are you saying similar-level in terms of security scans or is this something you think is true across all capabilities?
23.
by woggy 3mo ago
Basically not usable if it's only available via usage pricing.
24.
by woggy 3mo ago
Hopefully GPT 5.6 soon
25.
by woggy 3mo ago
Wtf is an eval startup?
26.
How Agents Quietly Break Architecture [video](youtube.com)
2 points by woggy 3mo ago|0 comments
27.
by woggy 3mo ago
You need a geometry kernel
28.
by woggy 3mo ago
Any reason to think that open models will not catch up, given enough time?
29.
by woggy 3mo ago
I love the name 'Kolmogorov'
30.
by woggy 5mo ago
We don't fund Hamas with our tax dollars. Actually, Israelis were funding Hamas with their tax dollars not too long ago. I wonder why? Also, this is what most of Gaza looks like now. Are you aware of this? https://static.972

More ›