synack

9 ms·

91.
by synack 2y ago
Yaesu radio explodes when I throw it at the wall because the UI is so frustrating.
92.
by synack 2y ago
Out of bounds access would raise a runtime exception, so absence of runtime exceptions proves that cannot happen. Recent versions of SPARK add functionality similar to Rust’s borrow checker as well. You can find more information in the user
93.
by synack 2y ago
You don’t have to verify your whole application, just set SPARK_Mode => Off where you want to skip it. Alternatively, set the global default to Off and it becomes an opt-in feature. Proof levels depend on your goals, but most requirement
94.
by synack 2y ago
“I need my next laptop to have 64GB of RAM” No, you need better software.
95.
by synack 2y ago
The debugger book is coming soon. https://nostarch.com/building-a-debugger
96.
by synack 2y ago
I’ve been working through this book implementing the compiler in Ada. So far, I’m really enjoying it. The book doesn’t make too many assumptions about implementation details, leaving you free to experiment and fill in the blanks yourself. I
97.
by synack 2y ago
They won’t change their behavior unless it affects the bottom line. Time to lobby your corp travel departments to blacklist Hilton properties.
98.
by synack 2y ago
Use the semantics of the standard Incident Command System. Emergency responders have spent decades figuring out the best way to organize for these situations. Tech orgs should leverage that work. https://en.wikipedia.org/wik
99.
by synack 2y ago
If this is for use during outages, I want to know exactly what network path is used, ideally with as few hops as possible. Starlink can’t guarantee that.
100.
by synack 2y ago
With launch costs dropping, I wonder if there’s a market for a low bandwidth “ssh via satellite” service. Could use AWS Ground Station to connect to your VPC.
101.
by synack 2y ago
~/src/projectname/ for things I've written, patched, or am contributing to. ~/build/projectname/ for things I've downloaded/cloned for reading or compiling. I generally consider ~/build&#x2F
102.
by synack 2y ago
I saw a nice exhibition of Emigre at the Stedelijk Museum in Amsterdam just last month. Worth a look if you're into typography.
103.
Software Design of the PGB-1 Open Source Synthesizer(crowdsupply.com)
3 points by synack 2y ago|1 comments
104.
by synack 2y ago
I think there will eventually be a false advertising lawsuit or some regulatory action against Amazon about this. Until that happens, it’s hard to say for certain which items are used.
105.
by synack 2y ago
The toolchain is cached, so it only gets downloaded once.
106.
by synack 2y ago
SDLAda has been around for a while: https://github.com/Lucretia/sdlada You can add it as a dependency to your Alire project: `alr with sdlada`
107.
A Fresh Take on Do-178C Software Reviews(blog.adacore.com)
1 points by synack 2y ago|0 comments
108.
by synack 2y ago
Rumors that they're discontinuing the snowmobile service: https://twitter.com/0xdabbad00/status/1776999225550938124
109.
by synack 2y ago
By lock-in, I’m referring to my EC2 committed use savings plan that would prevent me from considering migrating to GCP until it expires next year, even if Google’s instances are quantifiably better.
110.
by synack 2y ago
Google published PUE ( https://en.wikipedia.org/wiki/Power_usage_effectiveness ) numbers a while ago, I haven’t seen anything that specific from Amazon. It’s difficult to quantify emissions because the power generation i
111.
by synack 2y ago
All I wanna know is how it compares to AWS Graviton2/3/4 instances. Axion needs to be cheaper, faster, or lower emissions to be worth even considering. Everything else is just talk and vendor lock in.
112.
by synack 3y ago
Looks like your data went missing. No rows in the table.
113.
Surge Pricing Wouldn't Have Worked for Wendy's(rackhouse.substack.com)
3 points by synack 3y ago|0 comments
114.
by synack 3y ago
I'm far from an expert on compiler development, but I think it's just a matter of walking the AST to ensure that there aren't any calls to procedures with the Global or Nonblocking aspects inside a parallel block. The bigger
115.
by synack 3y ago
I don't think any compiler implements that yet.
116.
by synack 3y ago
I have an ansible playbook that does "git pull" in the right directory and restarts the daemon. I run it whenever I need code deployed, but it wouldn't be difficult to rig up to a CI system. The EC2 instances are managed by t
117.
by synack 3y ago
The people building it will be fed, housed, and their children educated with that amount of money. Jobs are what the world gets out of this sort of thing.
118.
by synack 3y ago
If you limit your dependencies to what’s available in your distro’s LTS or stable release breaking changes are much less common. Living on the bleeding edge has a cost.
119.
by synack 3y ago
Bradley Gawthrop: Wiring Boot Camp https://youtu.be/FMXdXCYvLQQ
120.
Bill Gates-backed startup can store carbon underground in plant-based bricks(geekwire.com)
4 points by synack 3y ago|1 comments

More ›