tauoverpi

6 ms·

1.
by tauoverpi 1y ago
I bought a pinenote after the charing port on the rm2 stopped working. With the rm2 it would refuse to wake sometimes if it's not charged to 100% slowly, the pen ghosting issue continued to get worse the longer it was in use even with
2.
by tauoverpi 1y ago
Experience is relative to the challenges one has faced thus time usually doesn't mean much without context of what it's in relation to.
3.
by tauoverpi 1y ago
It _does_ matter as those edge cases would be the difference between a working product and something that's trivial to topple over with `"; find . -exec shred -f {} \;` if your agent is used for the backend. There's also a lo
4.
by tauoverpi 1y ago
The question would be how many security exploits and other edge cases would be included in that.
5.
by tauoverpi 1y ago
How does fastn handle errors? Is is possible to perform the SQL query client side or does it prevent / add friction for such? Can I visit `/foo/";DROP%20TABLE%20users;/` or does it handle inputs properly?
6.
by tauoverpi 1y ago
Well, what would I have to do to please the LLM? Writing code isn't for LLMs to consume but rather to communicate intent for people and for machines to run which provides value for the user at the end of the day. If an LLM fails at bei
7.
by tauoverpi 1y ago
I'm sorry if I seem completely out of the loop as I haven't used windows at all for at least a decade at this point. > This is a case of whether the device should be secure by default or if the user should have to opt in to sec
8.
by tauoverpi 1y ago
This is incredible, what's the license of the work? A derivative of this (using a forth-like with only recursion) would be perfect for the current game project where I'm lacking a visual representation of spells (both written and
9.
by tauoverpi 1y ago
I'm aware of the _why_ but this is why the tools aren't useful for my case. If they cannot consume the codebase in a reasonable amount of time and provide value from that then they generally aren't useful in areas where I wou
10.
by tauoverpi 1y ago
I've had the same issue every time I've tried it. The code I generally work on is embedded C/C++ with in-house libraries where the tools are less than useful as they try to generate non-existant interfaces and generally gener
11.
by tauoverpi 1y ago
> You need tests either way. The argument isn't that with static types you don't need tests but rather with static types you can focus on testing what actually matters which is the fuction itself along with it's integratio
12.
by tauoverpi 1y ago
I forgot to add that "like I don't need to keep asserting that a for-loop counter is an int." is exactly what is happening with a dynamically typed language that is exactly what the runtime ends up doing unless it has a built
13.
by tauoverpi 1y ago
Yep, I missed it as I don't often work in haskell anymore but with the correction the rest of the above still stands (haskell syntax is still the most efficient I'm aware of for talking about this). Also, it being unimplementable
14.
by tauoverpi 1y ago
The type system doesn't replace unit/snapshot/property/simulation tests as it's only job is specification. The type system is meant to be used in addition to testing to reduce the set of possible inputs to a smaller
15.
by tauoverpi 1y ago
Statically typed languages, when used correctly, save engineering time both as you extend your service and when thing go wrong as the compiler helps you check that the code you've written, to some degree, meets your specification of th
16.
by tauoverpi 1y ago
Comptime is a gateway to partial evaluation, precomputing tables, and data layout optimization using the same language zig that you're familiar with when you need it and just a convenient way to handle generics when you don't. As
17.
by tauoverpi 1y ago
Discord will arbitrarily ban users for using a VPN making it next impossible to access prior conversations on given topics where support takes anywhere from a week to two months to review tickets related to it (they then go "whoops&quo
18.
by tauoverpi 1y ago
Yep, there's the range https://github.com/rcalixte/libqt6zig to https://microzig.tech and soon https://github.com/ziglang/zig/issues/2683 then follow-up issues are resol
19.
by tauoverpi 1y ago
I may seem overly negative but I don't like it when projects beg for stars. It will get one if it's interesting and that's for the reader to decide. That aside, the suggestion to pin to a core should likely be anything above
20.
by tauoverpi 1y ago
I initially ended up with a similar-ish chunk iterator [1][2] after a few iterations however even with that I found that the optimizer wouldn't remove the bookeeping required for maintainining the iterator state itself. This is where t
21.
by tauoverpi 1y ago
Nice, I've found that using an iterator for this often generates quite a bit of extra code and prevents vectorization in general which is why I switched to an API using inversion of control for the `forEach` case (I don't have ite
22.
by tauoverpi 1y ago
You don't need everything to be generic to have safety as the API provided by the object using the linked list can maintain safety by making it difficult to do the wrong thing and being correct by construction. Of course that doesn&#x2
23.
by tauoverpi 1y ago
Multithreading is exactly where linked lists are useful as in the implementation of MPSC, MPMC, SPMC, and so on it allows one to safely construct objects out of vire of other threads then use a CAS to append the new item to the list making
24.
Qt 6 Bindings for Zig(github.com)
2 points by tauoverpi 2y ago|0 comments
25.
Zig 0.14.0 Release Notes(ziglang.org)
91 points by tauoverpi 2y ago|17 comments
26.
by tauoverpi 2y ago
As part of my spare time hobby, implementing small packages for building games that don't allocate memory post startup (or work when the memory map can be declared statically such as with wasm-4-like targets or an rp2040) and can run i
27.
by tauoverpi 3y ago
I'm slowly writing a game with it in my own time and previously worked on an in-memory cache for smart metering full-time. It's been nice to play with and my goto language for prototyping since arond 0.5.0.
28.
by tauoverpi 3y ago
A game engine https://machengine.org is being written in zig, there's also https://microzig.tech as zig is well suited to embedded development.
29.
Zig 0.11(ziglang.org)
253 points by tauoverpi 3y ago|185 comments
30.
by tauoverpi 3y ago
What they're missing is a link graph as given in https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-523.pdf

More ›