Introducing Pulsar — a first of its kind family of software-defined electromagnetic warfare (EW) systems that utilizes AI at the tactical edge to rapidly identify and counter new threats in hours or days, not months or years.
Threats are evolving faster than ever before — a cat
Say you graduated last year with your CS bachelor’s. No internships during school. Been doing lots of job applications, got some interviews but no offers. Grinding leetcode + side projects all the while.
Do u keep pushing on? Start looking at non-swe roles? What’s ur next move?
Sober driving is better for large vehicles if your driver is mediocre or weak. Drunk driving is far superior for a strong driver. If you think sober driving is better, then there are huge improvements you can make in how you get around.
Static typing is better for large codebases if your development team is mediocre or weak. Dynamic typing is far superior for a strong team. If you think static typing is better, then there are huge improvements you can make in how you structure your code and how you test.
@unclebobmartin
Dude, read a programming languages textbook. This one contains a clear discussion of the formal refutation to your claim in the introduction
Church and Curry proved the opposite of what you’re saying before there were computers.
My Haskell team at Anduril is once again hiring for full-time on-site roles at our headquarters in Costa Mesa, California. Please drop me a line at travis
@anduril
.com if you're interested, as well as applying to our online portal here:
My Haskell team at Anduril is once again hiring for full-time on-site roles at our headquarters in Costa Mesa, California. Please drop me a line at travis
@anduril
.com if you're interested, as well as applying to our online portal here:
@NigelHiggs7
Try to build something end-to-end, even if it’s a toy project. For our team the most important fundamentals are probably interaction with foreign code (FFI) and software transactional memory (STM).
Read
@simonmar
‘s Parallel and Concurrent Programming in Haskell.
Seriously considered buying a new laptop today because my python environment is completely broken.
I tried uninstalling everything python-related and...couldn't.
I've been programming for 25 years.
This is so sad.
Today, a contributor walked away from
@nixos_org
because they failed to condemn
@anduriltech
.
The main lesson here is don't play these games.
Kindly but firmly, and early, make it clear you don't allow politics into your OSS.
"We don't do that here"
@NigelHiggs7
This is a real difficulty when it comes to Haskell. When I was fortunate enough stumble into my first Haskell role by sheer luck, I was taken aback by the gulf between book/blogosphere Haskell and the dirty work of building real software with it.
The C developer brain cannot comprehend this 🤯
Modern C++'s compile-time safety and readability, with negligible compile-time and zero run-time overhead.
Literally cannot compile a program with bugs 😏
RT and tag your favorite C developer or anti-C++ apologist!
#cpp
#gamedev
Crowdstrike Analysis:
It was a NULL pointer from the memory unsafe C++ language.
Since I am a professional C++ programmer, let me decode this stack trace dump for you.
The blind faith people have in static typing is ridiculous
You still need the same amount of tests regardless of type system. Static typing cannot capture behavior, but tests can!
Why is this a debate even?
We should set up some "guided walking tours" of select software/hardware projects as tourist destinations. I'd love to show people the amazing things we've built (and visit some myself).
Who's building this?
> As a dev, you’re supposed to be in control here. ;)
Going to start saying this to people at work who use shitlangs every time I find one of their bugs.
@locallycompact
Why do you need to prove things to the compiler? As a dev, you’re supposed to be in control here. ;)
Tests don’t only provide counter examples though; Test cases should test expected functionality and how to handle faults
Style can communicate a lot through idioms, convention,
@ezyang
“I need total control of memory allocation and data layout for optimum performance!”
Their code:
shared_ptr<shared_ptr<shared_ptr<…>>>
Arc<Box<Arc<Box<Arc<Box<…>>>>>>
Challenge: Name something that a software developer should *always* do.
Is there a single practice that always applies?
"Write tests". Not always worth it.
"Do code reviews". May pair instead.
"Set up a CI server". Overkill when working alone.
I can only think of 2 practices
Turns out, a simple sum operator might just render
#deeplearning
obsolete. Solid math-based ideas are proving once again to outperform gimmicks.
#kolmogorovarnoldnetwork
@skillsmatter
hasn’t made this clear… but does my guess that
@jdegoes
is being no-platformed for his stance on not-no-platforming at his own events hold water?
The new 13 inch
@FrameworkPuter
is extremely good. Best non-Mac I’ve used since my old i7 modded Thinkpad X61.
An Nvidia option on the 16 inch model for CUDA work would be a game changer.
Linux on a laptop still totally blows in 2024 though.
in many fields (math, physics, etc) operating at the highest level usually means using the highest abstractions.
but in cs, it’s the opposite.
high level operators usually prefer lower abstractions “closer to the metal”. our best are still writing in C.
why the discrepancy?
Unpopular opinion: I wouldn’t consider front end development as programming
You’re telling a browser what to render
Not actually telling a computer what to do
Several generations of programmers have been taught the OOP mindset
It's very hard to unlearn
"Should a rectangle draw itself?"
"Should I create a Manager class to manage my Manager classes?"
These types of questions are so far beyond a waste of time it's absurd
So thankful for
@dhall_lang
. Was able to template away all of my CI YAML for testing packages against many GHC versions/stackage snapshots via Nix, during one 3 hour plane flight.
I'll make this even spicier:
We programmers have a moral obligation to use static types when programming in the same way the we have a moral obligation to abstain from alcohol when driving.
@PurpleWindowDev
Most software doesn’t matter. Consumers accept horrible bugs, so it’s cheaper to have 1,000,000 monkeys banging on typewriters.
I’ve had the good fortune of spending my career in industries where correctness actually matters.
If you think it's a good idea not to touch it because it works, you have a very fragile system and you should start touching it much more.*
You want a system that gets more stable by touching it, not less stable.
@lambdapriest
"but what about hiring"
Is a huge red flag.
It means the org don't think they are the masters of what they do and mostly focus on labour arbitrage.
@TheOlegarchy
Remember that no matter how far you climb up the Haskell mountain,
@kmett
is already at the top, shoveling to make the mountain even taller.
Don’t get discouraged!
@int_index
No if you’re doing it right it gets worse.
Look for the places where you’re the dumbest person in the room.
If you feel smart you’ve stagnated.
There's a transcript out for a recent memory safety interview with Herb Sutter.
He cites an unnamed security person who says "modern C++ that uses all the guidance tools is as safe as Rust."
@seanparsons
@TravisMWhitaker
@kerckhove_ts
1. Declaration of type
2. Instantiation of collection of 1
3. Map and flatten 2 by property "orders" of 1
Is it correct? Not sure I understand what are benefits of types here when pattern matching could do the same
@kmett
Such assumptions were only fixed in GHC about a year ago
I need to ship Linux software on aarch64 boards for work, so I spend a lot of time patching these sorts of issues.
Starting in just under three hours,
@kosmikus
and I will be talking about how to use the nothunks library to avoid memory leaks in your applications; featuring some recent nothunks improvements by
@me_coot
!
Jonathan Ringer was just banned from Nixpkgs despite being one of the 24.05 release managers.
Seems like it'll be a challenge to do that while he's banned.
It feels like folks are trying to create some of "Haskell vs OCaml" kind of thing. We are on the same team! We should be annoyed at TypeScript and Go, not each other! 🙈🐫🤠λ
@neurallambda
You are overestimating the cost of building that ecosystem. If Python users were able to build it, we should be able to build it better, faster.
Life is too short to use Python.
@ChShersh
If the new field is strictly required, then the old service’s behavior is incorrect. There will always be de facto required fields. Protobuf lets you punt this problem down the road by pretending all fields are optional.
Something something parse, don’t validate.
@ProgrammerDude
@puffnfresh
Like everything good about Nix, this is unmentioned in the manual. The community desperately needs assistance in this regard.