Dave Thomas's Avatar

Dave Thomas

@7sharp9.bsky.social

Programmer and Guitarist. I love writing functional style code when I can.

150 Followers  |  109 Following  |  94 Posts  |  Joined: 10.12.2024  |  2.2419

Latest posts by 7sharp9.bsky.social on Bluesky

Although they dont technically have a sense of humour you can train the replies to be tailored to your sensee of humour so it meshes better etc. I do this a lot and my creativity rockets

01.07.2025 16:05 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Trying to fix compileer errors but it 27 degrees in the ofice and brain too hot! #summerisasackofshitbringmethefuckingwinterfucktags

30.06.2025 14:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Does anyone I know do combined ADHD meds? Like combining a stimulant with a non stimulant?

29.06.2025 14:55 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Is anyone building or has used chatbots with Shopify for customer interaction? Theres a ton of Apps in shoppify but do they really add a lot if its just streaming customer queries to an LLM. Does anyone have any recommendations here?

07.05.2025 09:59 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Crunch crunch! Hopefully one day soon I can get to bed before 3am! 😭

02.05.2025 00:59 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I dont have any spare processing power right now, I'm deep in crunch time for my release. 😭😫

01.05.2025 10:10 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
GitHub - speakez-llc/fsharp-mlir-hello: Proof of Concept using MLIR and LLVM to build binaries from F# code Proof of Concept using MLIR and LLVM to build binaries from F# code - speakez-llc/fsharp-mlir-hello

#llvm #mlir In case anyone in the #fsharp sphere wants to know how easy/difficult it may be to move beyond the #dotnet sdk... this was hacked together in a few hours including a break for the evening meal.
github.com/speakez-llc/...

14.03.2025 02:21 β€” πŸ‘ 17    πŸ” 6    πŸ’¬ 0    πŸ“Œ 0
Preview
Background Workers in F# Learn how combining the benefits of F# and the power of .NET can be used to increase a solution's resilience and reliability.

Our blog this week highlights how we used the power of .NET and F# together to improve service reliability for a customer!

#dotnet #fsharp

@fsharponline.bsky.social

14.03.2025 10:45 β€” πŸ‘ 7    πŸ” 4    πŸ’¬ 0    πŸ“Œ 0

I've never fed myriad stuff to AI. I'm mainly generating Python and C++

13.03.2025 19:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

This is more a problem of mass hiring, and picking the wrong people.

13.03.2025 18:58 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

No, I meant you hire all java programmers, train then and get them to do F#. I've seen it cause a civil war due to the volume and difference of technocratic beliefs.

13.03.2025 18:57 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I often refine via two implementations, you have to be pretty certain on what you want and know the domain otherwise you can get the chocolate teapot version.

13.03.2025 18:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Theoretically true but it can prove fatal.

13.03.2025 18:19 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
F# web gen - TailwindCSS, DaisyUI and PrismJS
YouTube video by Houston Haynes F# web gen - TailwindCSS, DaisyUI and PrismJS

Here's a sneak peek into what we have going on to move #fsharp "static" site generation forward - a project we're calling Flightdeck. This is an early experiment with its forbear, Fornax, to demonstrate how styling dovetails between frameworks - TailwindCSS, DaisyUI and Prism. youtu.be/SoR-aaXT3hs

13.03.2025 11:30 β€” πŸ‘ 9    πŸ” 2    πŸ’¬ 1    πŸ“Œ 1

Go lang arguable fits at that lower level a bit easier and theres less random features in the language to distract. I've kind of slipped from millisecond type optimisation in dotnet to microsecond and nanosecond for real-time application so anything with a GC just ruins your whole day!

13.03.2025 12:50 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Before I needed fast performance I would of sweared by dotnet. Generally dotnet is fast enough for your run of the mill enterprise pork muckle stuff though.

12.03.2025 23:19 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Look at all the C# fan boys in the comments, it just shows the lack of thought work and indoctrination. Go or Rust are the obvious choices here as you want the compilation to be as fast as possible with no overheads.

12.03.2025 18:05 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 3    πŸ“Œ 0

They could just retire it completly and use F#. Job Done.

12.03.2025 15:37 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I hate that you waste credits on crap or incorrect answers, or it gives you the whole code, or a weird snippet with no context. You end up having to ask it for the whole method. Im sure its done on purpose to burn through the credits.

10.03.2025 16:01 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image 04.03.2025 19:58 β€” πŸ‘ 61672    πŸ” 11008    πŸ’¬ 1411    πŸ“Œ 601
Post image

I’m George Takei and I approve of this message.

19.02.2025 15:47 β€” πŸ‘ 145598    πŸ” 30359    πŸ’¬ 2326    πŸ“Œ 1537

Same as the last lot, same shit, different puppet.

18.02.2025 11:30 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Exhausting week tracking down double frees and other foul creatures

14.02.2025 13:46 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I've had a similar experience at more than one company. The moral of the story seems to be: Make sure you have a Kevlar vest.

11.02.2025 19:52 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I think *stunted* is extremely polite. The politics and infighting were awful and insideous.

11.02.2025 15:30 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

C# has lost its identity, it wants to be Rust, C++, Python and F#. Over the years you can see the de/evolution into a tar pit trap.

11.02.2025 15:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

C++ is complicated. C#: HOLD MY BEER!

11.02.2025 15:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
a man is standing in front of a giant octopus with red eyes ALT: a man is standing in front of a giant octopus with red eyes

Linker issues and general bad shit in Windows, 48 hours in.

11.02.2025 00:29 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Thats why I wrote Myriad so you have full control, source, text, ast, gif, use what you like.

08.02.2025 14:53 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@7sharp9 is following 18 prominent accounts