@cfdevelop.bsky.social
#Flutter and #dotnet https://www.christianfindlay.com
Current coding agents are really dumb. Most of them donβt have separate steps for planning and acting, and if they do, the process is disjointed and manual
Claude is super powerful. With better agents we could be getting so much more out of it.
Current agents just burn tokens
YEEEESSSS!! You can finally use Osprey's algebraic effects directly in the playground!!!
Check it out and star the f@#$ out of this thing!! βοΈ
ospreylang.dev/playground/
I think Osprey can do algebraic effectsβ¦
26.06.2025 08:25 β π 1 π 0 π¬ 0 π 0Exactly! Iβm tired of trying to build apps and saas products because there might be a market for them
Iβm going back to building for the pure joy of it
Wanna see how I organise code, do tests, configure GitHub actions and set up dev containers? Check out this repo.
If you donβt know what a dev container is, clone this and try it
Please star if it helps you
github.com/MelbourneDev...
The Osprey http server is full functional now. Useful examples coming soon. You can see all the functions in the doco.
www.ospreylang.dev/docs/
The osprey playground now supports fibers. Check it out!
ospreylang.dev/playground/
Actually, this is the full reason I built it
23.06.2025 11:40 β π 2 π 0 π¬ 1 π 0And here it is!!! My new programming language Osprey! This has been a 20 year long dream, finally made possible with AI assistance. So stoked this is finally possible! π
Stars and shares appreciated! β¨
I want to build a community around this
ospreylang.dev
bsky.app/profile/cfde...
25.05.2025 06:17 β π 2 π 0 π¬ 0 π 0Made this programming language with Claude 4, Go, Antlr and LLVM. Has nice pattern matching.
24.05.2025 08:00 β π 1 π 0 π¬ 0 π 1I just vibe coded a compiler with Claude Sonnet 4. God damn. This is next level
23.05.2025 12:36 β π 1 π 0 π¬ 2 π 0Looks good. Similar to GitKraken, but still looks like how someone who uses git all the time would think about a UI.
I think it would be possible to design a GUI that would make sense to someone who has no idea what source control is
Wanna know the most important skill as a software developer?
vt.tiktok.com/ZShGLuuY9/
It took me years to fully embrace git after using SVN for many years
I still think itβs silly that nobody has made a GUI that makes git as simple to use as SVN, but git is an exemplar of elegance.
youtu.be/sCr_gb8rdEI?...
I lived my entire life not knowing how to solder. I feel like itβs an inevitable skill Iβll need to pick up now that robotics are a thing
21.05.2025 09:17 β π 0 π 0 π¬ 0 π 0Is anyone exploring hooking AI up to programmable robots and drones?
20.05.2025 21:44 β π 0 π 0 π¬ 0 π 0Tech blogging is dead so Iβm moving to short and long form video content. Please like and subscribe, particularly on YouTube to make the time spent worthwhile.
TikTok: cfdevelop
π
youtu.be/XyQeixviX0o?...
Do you work with anyone who insists that their code is better than AI code?
Honestly, itβs hard to imagine how anyone could believe that, but what are they like to work with?
Are they the kind of person that listens to feedback and tries to improve? Or, are they always right?
Humility: AI is better than you at coding. The sooner you accept that, the sooner the cognitive dissonance will stop hurting your brain
18.05.2025 03:52 β π 1 π 0 π¬ 0 π 0I recommend all .NET devs learn about ASP .NET Core Integration Testing. Itβs a far better way to test than unit testing.
youtu.be/XyQeixviX0o
?
17.05.2025 02:40 β π 1 π 0 π¬ 0 π 0Pro tip: instead of building every side quest out with Cursor, document it instead!
Use mermaid diagrams π
Put all your specs in a repo and when you feel like building, pick the one you can realistically finish
Stop Ignoring Problems In Your Codebase
vt.tiktok.com/ZShCgGobs/
What if your house had a private network of little robots like alexas that could move around on wheels and do things like turn on the stereo or whatever and play Spotify etc.
You could talk to it in any room and it would remember your previous convos
Would this be useful?
Tech Layoffs: Should I Drop Tech As A Career?
vt.tiktok.com/ZShxWv97Y/
@punterspolitics.bsky.social
15.05.2025 08:29 β π 0 π 0 π¬ 0 π 0Now that Labor has convincingly thumped the coalition, itβs time for Labor to go after corporate tax dodgers
@albomp.bsky.social
youtu.be/9Wm6TzcHF2Q?...
So are people putting MCP servers on top of their public APIs as a matter of course right now?
If not, why not?