Being a weightlifter for 20+ years now, I'm working on a barbell speed and path tracking sensor based on newer IMU hardware technologies, which makes it both more precise and cheaper than camera- or actuator-based systems. Ultimately it helps you lift and train safer and better.
It's an intersection of industrial design, hardware, firmware, and software (and some sport science, of course). This intersection is not yet dominated by LLMs so it's a breath of fresh air.
In an early prototype stage as in "strap a Raspberry Pi to a bar", but it looks promising and I'm happy to move forward, also using connections from my previous 12+ years in China.
Velocity on the other hand is a great metric to track and is used as a proxy for RPE. Mike Tuchscherer was the first one to systematize it for powerlifting a while back, if you've been lifting for 20 years you're probably aware of the name.
For more complicated lifts like bench press (J-shaped) or snatch (S-shaped), for example, I would rather set a "golden sample" path with a coach and compare to that.
It's unlikely to be the sole metric, especially given the inverse kinematics of different body types (long/short femur, etc), but together with bar speed, over time, it can provide a lot of good feedback.
No offense, but this post does come across as you only having a surface level understanding of the field. Especially surrounding injury/pain perception, I would be more careful of what you assume is true, there's far more nuance.
Seems it would have a much higher reach.
I also wouldn't trust a strap to drop a loaded bar from snatch :D https://youtu.be/nrgnH9fTfGo?si=6LLeu3y02iFrwfis&t=65
Might consider a BT GadgetBridge gadget then.
i wonder if it would make sense to consider it as a data problem, capture a bunch of high fidelity inverse kinematics data for various forms of bad form/dangerous lifting along with the imu data and then work from there. there could be some interesting and unexpected features that are easier to detect than straying from straight line paths with some tolerance.
I've also paused recording any new lectures at pikuma.com for now. I'm still taking some time to decide what's next for the website. I'm currently focusing on reviewing math & physics to help homeschool my son.
Other than that, I just improved the roof of my chicken coop and I'm slowly evolving the foundation of my study cabin. This new place will be my offline library and music room soon. My plan is to only really go online once a week starting August this year.
I'm a Dad homeschooling a son and have a dog in the race of making parental guided education easier.
I have an Alpha user who's a PhD and makes courses but I still want diverse feedback.
Can you share what kind of ideas you're mulling for the direction of the site?
Hopefully, I'll decide on what to tackle soon.
Version 1 was a script I wrote for myself to fax the courts a jury duty deferral during covid lockdown, and then during my parental leave I productized it.
Broken relationships can be difficult and nerve-wracking. Quell gives you an SMS number that enables you to put boundaries around your communication with someone who is blowing up your phone and making your life hard. Their texts are intelligently filtered so that hostility is removed while information is preserved. All raw texts are also routed to email for record-keeping and rewrite verification.
Are you using a 3rd party system to generate the numbers and forward them to your number? How can you audit that they 3rd party that creates the Quell numbers isn't saving the messages before they move to your server?
Inspired by my experience at my day job.
Looking for testers if anyone wants to help out!
I haven't really forgiven myself for dropping my PhD; I think it was the right decision at the time, but I also kind of wish I had pushed through it. I'm going to see if I can at least get a few papers published.
I've also had some fun getting Claude to create LSP servers for different languages, which it has been pretty good at, and that's nice; having good integration with Vim makes a language a lot more fun for me.
Oh, I also presented at LinuxFest two weeks ago: https://youtu.be/HmcVJWyOwJQ?t=6623
(Even if you're hand writing people are going to assume or suspect it's LLM gen.)
The author of FizzBee reached out to me about a year ago on LinkedIn actually, because I gave a talk on TLA+ a few years ago.
I haven't really played with it yet (outside of the few examples on their site) because I'm already pretty entrenched in the TLA+/PlusCal world, but it is very likely that FizzBee might be a better fit for software engineering circles; the incremental testing is pretty neat, to a point where I kind of want to steal the that and port it over to TLA+/TLC. Probabilistic testing seems pretty cool too.
If I were getting into Formal Methods today for the first time, I would almost certainly be using FizzBee and/or Alloy.
As someone lacking your academic background in it could you give me some advice on a good starting point, or perhaps papers/materials that are absolutely unskippable/foundational to understanding it, maybe a good learning exercise for utilizing FM?
I've always wanted this and have used it to experiment with Gemini's cloud agent Google Jules.
I have an upcoming project in Flutter, and maybe it's wishful thinking, but my intuition is that perhaps Google has top-tier LLM performance within their own ecosystem relative to peers.
Its a message definition and protocol, addresses look like @user@domain, anyone can run a host, and threaded messages are linked by cryptographic parent hashes..
The idea is to take the best from email: open protocol, domain ownership, interoperability (unsolicited mail is a feature not a bug), and the best from closed instant messaging rebuilt: efficient binary messages, conversational threads, sender verification, message integrity etc. built-in. Originally envisaged for human-to-human messaging but partculalrly interesting time right now with human-to-agent and agent-to-agent messaging...
The OSS stack is up and running: Go host, Dockerised full setup, CLI, Web API, and a spec nearing v1.0. Did Show HN post week ago: https://markmnl.github.io/fmsg/show-hn.html
Seeking feedback, criticism, validation :) protocol bikeshedding, and especially interest from founding-engineer types who want to help build an open messaging ecosystem rather than another closed app..
Matrix addresses have a similar format, anyone can run a host, open protocol, domain ownership, interop... Threaded messages are supported AFAIK, the details of the crypto will be different but overall it feels like it is close enough that a new protocol will have a hard time having enough advantages to overcome the huge network effect (Matrix being one of the few open messengers that actually have some following already).
Also fmsg being its own protocol can do novel things like to auto challenge during sending back to sender - can't do that with HTTP
https://github.com/Verticalysis/Hitomi
The secret: I engineered an incremental combinatorial parser capable of processing customized format from a steam. Any inputs, including file or the stdout from a command, are first chunked and then fed to the pipeline. The UI is ready when the first small chunk is processed.
Other highlights: 2-mode filter, one with a convenient UI and the other is based on an extensible DSL for complex cases;
Timeline mode scrollbar, a secret weapon for log or time series analysis;
Column widths fit to content automatically;
Native code, no web bloat;
Cross-platform (currently Windows and Linux, MacOS WIP).
If you are tired of all the quirks Excel have when working with CSV files, you'll gonna love it!
It's a durable orchestration system for AI code generation which solves the problem of not being able to trust LLMs to complete long running (and high quality) implementations without having to babysit them and monitor the process, which is what I think is the most exhausting part of coding with AI.
You start with a spec or programmatic task list and the engine runs the whole workflow: implementation, verification, review, fixes, and finalization.
It treats agentic coding like a durable CI-style process, with state, retries, reviewer feedback, commits, and auditability built in. It's externally orchestrated, meaning it's not the agent running the loop, it's simply agents being used as tools and spawned in the loop as needed without awareness of the loop itself.
It's going to be open sourced soon and it's not meant to replace your IDE or Agentic Harness of choice. You keep using codex/claude code/open code/cursor/pi whatever you want and simply delegate the actual implementation to the engine, through MCP/CLI and other integration points.
It supports any LLM provider so you can have GPT 5.5 implementing and a mix of Opus 4.7 / Deepseek v4 Pro / GPT 5.5 reviewing at every phase for example.
Sign up on the website or follow us on https://x.com/enginedotbuild or me personally on https://x.com/aljosa , desperately need more followers :D
I've got a lot to say on the topic but I'll be making a video for launch showcasing everything.
For the open source angle, I think it's just a net positive for more people to have access to a way to build with LLMs without being exposed to AI related burnout.
And for open-source projects using it, the engine can act as a quality gate for PRs by requiring contributors to go through a repo defined implementation and review process.
Looking forward to getting it out :)
The idea is to keep the simple Apache/LAMP style PHP mental model, but modernise the runtime: PHP can handle HTTP, WebSocket, SSE, sessions, shared memory, timers, and task workers from one long-running process.
Greenfield, it's working great. For legacy code, the migration model I’m exploring is:
OpenSwoole front-of-house, PHP-FPM-style back-of-house for legacy code, and a coroutine-native path for new code. Three lanes, one server.
So in one day, all existing traditional PHP apps can have an asynchronous runtime! Hoping that I am laying the right foundations? Or not? Help me understand!
I also made a handcrafted Learn section where you build a small Personal Notes + AI Chat app + Multi-Player Tic-Tac-Toe step by step:
GitHub: https://github.com/sibidharan/zealphp
After feedback from some senior PHP devs, I tightened the framework core and it now passes PHPStan level 10. Actively developing!
Still looking for feedbacks before Show HN
Tinder meets Discord and, somehow, they have their way with Uber/Calendly.
It's live if you want to test it: https://jynx.app/
Let me know what you think of it. The main goals I want to achieve are: 1. help with social isolation 2. help e-sport team with sourcing and organizing
Open the HTML file in a code/text editor. Look at one of the anchor tags and you will see the contents of "HREF", "ADD_DATE", "LAST_MODIFIED", "ICON_URI" and "ICON". Only the "HREF" is necessary to make the anchor tag functional. All of the others serve other purposes. Most of the others makes some sense, but seem obsessive to me. The longest, sometimes hundreds of characters long, is the "ICON" item. That long string of characters concerns me and looks suspiciously like the traffic I see when I use network monitor inside Inspect. To me it looks like a tracking code.
Of course I may be wrong, but none of that stuff is necessary except the HREF. The script I wrote strips off everything except the HREF, puts it in a new anchor tag, and it works fine. Really this is just old school HTML.
Currently we’re using AWS and Backblaze B2, but I’m formulating a plan to move to colocated servers. Not being billed per GB will open up a lot of new opportunities. Even at today’s server prices the math still adds up.
I'm working on a Personal / Family travel organizer. Started as tool to allow me and SO to plan a trip together. There's been steady progress over the last couple years. Focus on privacy and ability to self-host. Of course, there is a managed version if one doesn't mind me having access to their data.
- Integrated with lots of open-source and commercial simulators and models for chemistry, materials science, biology… As well as connections to service labs and robot labs to easily perform physical experiments.
- autoresearch / AlphaEvolve like optimization loop following the scientific method: observation, hypothesis, experiment, theory. Combined with a long-term self-learning memory like Karpathy’s Wiki.
You can work with it interactively like with a coding agent to research and execute experiments efficiently. You can also treat it like a graduate student, giving it long-term research goals, having it work 24/7, making smart decisions about where to use your limited resource budget, checking-in with it periodically as a supervisor to guide its direction.
Not all of this is shipped yet, but we’ve been online for a while and it should be plenty useful to any scientist/engineer already.
You should check out my new open source software build tool, https://pcons.org.
I know some Rust, was going about it with clap, but no one I know cares about Rust so I've switched to Golang with spf13 Cobra cli
Harness is pretty cool, but I'm still a quite noob gopher, so I'm taking the chance to learn the ins and outs of Go...
No A.I touches my code lol, else I would learn jack shit
