I Built the Same App 10 Times: Evaluating Frameworks for Mobile Performance
https://www.lorenstew.art/blog/10-kanban-boards/
#HackerNews #MobileDevelopment #AppComparison #PerformanceFrameworks #SoftwareEngineering #TechInsights
alcinnz
and 1 other
boosted
If there's one thing I learned in my N years in Software it's that you should always wrap your String data in a newtype.
Even if it's tedious today, sooner or later you're going to want to find all those strings and do something to them and it's a lot easier if the typechecker helps you out
#rustLang #newtype #softwareEngineering #fearlessRefactoring
If there's one thing I learned in my N years in Software it's that you should always wrap your String data in a newtype.
Even if it's tedious today, sooner or later you're going to want to find all those strings and do something to them and it's a lot easier if the typechecker helps you out
#rustLang #newtype #softwareEngineering #fearlessRefactoring
alcinnz
boosted
Real Programmers can kick dead whales along a beach
in any language.
#ComputerProgramming
#MixedTropes
#OneOfThoseDays
#Paraphrase
#SoftwareEngineering
Real Programmers can kick dead whales along a beach
in any language.
#ComputerProgramming
#MixedTropes
#OneOfThoseDays
#Paraphrase
#SoftwareEngineering
important: why modern software sucks (and the industry is destroying itself):
https://toot.cafe/@baldur/115360758990096125
The downside is that that article itself, as noted by Hacker News readers, has many of the hallmarks of being produced by an LLM. Or at least being down at the LinkedIn post level of writing. There's not even a scale on the Y axis of the graph.
Does anyone have a preferred or at least "thing I'm aware of" intro to theorem provers? I'm looking at Z3, I've heard of Lean and TLA+.
I've also heard about people using this to "prove" APIs.
In the Ada space I'm aware of Spark, and in C I'm aware of farma-c, but I recognize these are different from the rest.
I'm interested in this. How does this work? How can I experiment with this? I'm not a mathematician or even very educated in any field of mathematics.
When you specify something in one of these languages, how do you actually connect that to working code? How have you proven anything in this case?
Is there anything that #generativeAI can do to _assist_ in code reviews rather than _do them instead_. Most of the benefits suggested seem to be better done with a formatter, a linter or a AI pairing buddy.
The main surviving benefit seems to be summarizing massive PRs (which seems to be managing the symptom of a deeper problem) rather than an improvement.
What are people doing with AI that does help?
Thinking about the DORA 2025_state_of_ai_assisted_software_development report.
Dora is owned by Google cloud and therefore has a financial incentive to be "Pro" AI to support Gemini etc.
It also, historically depends on developers self reporting if they think they are more effective (which has been shown to not necessarily correlate with actual improved effectiveness).
Is DORA a trustworthy commentator on this?
#ai #generativeAI #devops #softwaredevelopment #softwareengineering
slims :miyagi: 🐟⁂
boosted
In software development, „fast or good“ is a false dichotomy. There is a path that gets you both:
Simplicity.
In software development, „fast or good“ is a false dichotomy. There is a path that gets you both:
Simplicity.
Nextcloud is looking for senior C++ software engineer. Remote.
More details: https://nextcloud.com/jobs/#senior-software-engineer
Boosts appreciated 🙏
#opensource #GetFediHired #foss #hiring #SoftwareEngineering #jobs
This is beautiful; pure poetry: https://obsidian.md/blog/less-is-safer/
(Obsidian’s dependency-management philosophy.)
I have a suggestion: If you have a project or repo that's getting popular, stop writing features for a few months and implement this instead.
Boo Ramsey 👻 🎃
boosted
If you're a senior-level developer and wondering how to continue to rise the ranks without switching into management (a completely different skill set!), the terms to look for are "staff" and/or "principal" engineer.
I didn't know this until ~4 years ago, so maybe it's news to you, too!
#SoftwareEngineering#CareerGrowth #StaffEngineer
https://topspicy.social/@alda/115197562688337784
If you're a senior-level developer and wondering how to continue to rise the ranks without switching into management (a completely different skill set!), the terms to look for are "staff" and/or "principal" engineer.
I didn't know this until ~4 years ago, so maybe it's news to you, too!
#SoftwareEngineering#CareerGrowth #StaffEngineer
https://topspicy.social/@alda/115197562688337784
Felienne Hermans
boosted
✨📄 New blog post: An Interview with Felienne Hermans 📄✨
We caught up with keynote speaker @Felienne to chat about her journey into #programming and #Python’s influence along the way, creating Hedy, challenges & hopes for the Python ecosystem, and what she’s most looking forward to at #PyConUK2025 🐍✨
📖 Read the interview here: https://2025.pyconuk.org/2025/08/keynote-speaker-interview-felienne/
A huge thank you to Felienne for taking the time to share your thoughts with us 💜
✨📄 New blog post: An Interview with Felienne Hermans 📄✨
We caught up with keynote speaker @Felienne to chat about her journey into #programming and #Python’s influence along the way, creating Hedy, challenges & hopes for the Python ecosystem, and what she’s most looking forward to at #PyConUK2025 🐍✨
📖 Read the interview here: https://2025.pyconuk.org/2025/08/keynote-speaker-interview-felienne/
A huge thank you to Felienne for taking the time to share your thoughts with us 💜
8pm Tuesday Boston time
#lispyGopherClimate#commonLisp #astrophysics #supercomputing#softwareEngineering #archive , https://communitymedia.video/w/9kysH4ZwVuP4J4erZozqFT we will have (now done) a live interview with
https://as.tufts.edu/physics/people/faculty/ken-olum
about the recent largest-ever cosmic string simulation also introducing their new spacetime-volume pseudo-parallel simulation technique, relating to gravitational backreaction.
People sometimes ask, "who uses common lisp today".
Olum learned #lisp from John McCarthy.
