HNHacker News
TopNewBestAskShowJobs

synack

1,800 karma · joined October 24, 2009

https://synack.me/

https://linkedin.com/in/synack

submissionscomments
synack··on JPMorgan says fintech middlemen like Plaid are 'massively taxing' its APIs
Maybe they should design an API that doesn't require constant polling for updates? Pubsub isn't exactly new technology.
synack··on National Aviation Reporting Center on Anomalous Phenomena
NARC? Cute.
synack··on Amazon EKS ultra scale clusters
> Through a foundational change, Amazon EKS has offloaded etcd’s consensus backend from a raft-based implementation to journal, an internal component we’ve been building at AWS for more than a decade. It serves ultra-fast, ordered data replication with multi-Availability Zone (AZ) durability and high availability.

I'd love to know more about this. Is it Paxos or something else?

synack··on TI to invest $60B to manufacture foundational semiconductors in the U.S.
Last I checked, a lot of the US manufactured dies got shipped overseas for packaging. I wonder when they'll have that capability domestically.
synack··on LTO-10 Tape Drive Is Here
Native Capacity: 30TB

Native Transfer Speed: Up to 400MB/s

21 hours to write a full tape

synack··on OpenBSD IO Benchmarking: How Many Jobs Are Worth It?
It doesn’t say what type of CPU they tested on, but core count should be correlated with the results.

I’m curious how FreeBSD performs on the same test.

synack··on Ask HN: Options for One-Handed Typing
Last year I had an injury that left me one handed for a few months. I managed to hunt-and-peck my way to a patched QMK firmware for an Adafruit Macropad I had lying around. I set it up with the artsey.io layout and set the cheatsheet as my desktop wallpaper.

I found the Learning Artsey book from Discord helpful and managed to get up to 15 WPM in about a week with regular practice. Still quite tedious for coding, but good enough for emails and IRC.

https://www.adafruit.com/product/5128

https://github.com/JeremyGrosser/qmk_firmware/tree/artsey_ma...

https://raw.githubusercontent.com/artseyio/artsey/main/layou...

https://discord.gg/UAMMaASc

synack··on Ask HN: What is our history on trying to standardize configuration languages?
There are 15 competing standards: https://xkcd.com/927

Augeas [1] does a decent job of translating various formats into a common AST which you can edit and write back out, but setting this up is often more trouble than just editing/templating whatever config and moving on with your life.

Many new projects go straight for YAML/TOML/JSON/INI as they're widely understood and relatively easy to parse. I think this is as close to standardization as you'll get.

OpenBSD's developers have gone in the other direction, defining domain specific configuration languages for each of their daemons. They're all different, but they look similar enough that it feels like a cohesive system. You can look at the yacc grammar and see how httpd's config [2] got started as a fork of relayd [3].

[1] http://augeas.net/

[2] https://github.com/openbsd/src/blob/master/usr.sbin/httpd/pa...

[3] https://github.com/openbsd/src/blob/master/usr.sbin/relayd/p...

synack··on Overview of the Ada Computer Language Competition (1979)
There’s more detail about the language proposals and their merits here: (very large PDF) https://apps.dtic.mil/sti/trecms/pdf/ADB950587.pdf
synack··on The AUCTUS A6: the chip enabling inexpensive DMR Radio (2021)
Are there any publicly available firmware dumps/blobs we might be able to reverse engineer?
synack··on Windows 2000 Server named peak Microsoft
The desktop UX was good, but nearly every network service on Windows 2000 had a critical vulnerability at some point. The Code Red worm (MS01-033) comes to mind as particularly impactful. This was the golden age of stack smashing.
synack··on A vending machine, on the internet
Big Drink got me through many long nights. I miss it.

http://www.faqs.org/faqs/csh-coke-machine-info/

https://github.blog/news-insights/the-internet-coke-machine-...

Looks like it got the Rust treatment a few years ago: https://github.com/ComputerScienceHouse/bubbler

synack··on Yocto, RockPi and SBOMs: Building modern embedded Linux images
I once built a Yocto system that had both... We'd use our package index for quick hotfixes, and push a full OS image to the A/B partition for larger, riskier changes. It was nice to have options.
synack··on Poll: Are You Religious?
Only about text editors
synack··on Canonical announces 12 year Kubernetes LTS
LTS makes sense for services with a finite lifecycle that are meant to be replaced at EOL, not upgraded.
synack··on Switching to Linux: Reclaim Your Freedom
Could you email the hardware vendor and ask nicely for Linux support? They won’t develop it if customers aren’t asking.
synack··on I'm Peter Roberts, immigration attorney, who does work for YC and startups. AMA
Any advice for online forum operators regarding the UK Online Safety Act taking effect in March?
synack··on Fixing America's elevators is becoming a heavy lift
Sounds like the author got stuck in an elevator and decided to kill time by writing about elevators on their phone.
synack··on When should we require that firmware be free?
I think anyone selling commerical products to the public that include software/firmware components should be required to submit source code and binary artifacts to the Library of Congress. The library can then release it to the public when copyright expires or the vendor approves it.
synack··on CADing and 3D printing like a software engineer
I had the same problem with my webcam and solved it with 3d printing: https://www.printables.com/model/370558-logitech-c920-shim
synack··on Understanding SIMD: Infinite complexity of trivial problems
I’ve been playing with a new Lunar Lake laptop and they’ve complicated things even further with the Neural Processing Unit (NPU)

Now if your vectors are INT8/FP8 you’re supposed to shovel them into this accelerator via PCIe, rather than packing into registers for AVX512.

I wish they’d just pick an interface for vector ops and stick with it.

synack··on ISPs say their "excellent customer service" is why users don't switch providers
If I have to interact with your customer service, I’m already thinking about cancelling. Your net promoter scores are worthless.
synack··on Model Context Protocol
No Linux version :(
synack··on I attended Google's creator conversation event, and it turned into a funeral
Maybe don’t put ads between every paragraph on your blog.
synack··on AI is an impediment to learning web development
I learned web development in the early '00s with the Webmonkey tutorials, which were easy, accessible, and fun. I don't know what the modern equivalent is, but I wish more people could have that experience.

https://web.archive.org/web/20080405212335/http://webmonkey....

synack··on AI is an impediment to learning web development
If all the students are using ChatGPT to do the assignments and the TA is using ChatGPT to grade them, maybe it's not cheating, maybe that's just how things are now.

It's like using a calculator for your math homework. You still need to understand the concepts, but the details can be offloaded to a machine. I think the difference is that the calculator is always correct, whereas ChatGPT... not so much.

synack··on Cloudflare's new marketplace lets websites charge AI bots for scraping
Are they gonna let me block the scrapers that run on Cloudflare Workers?
synack··on Hezbollah hand-held radios detonate across Lebanon, sources say
Yaesu radio explodes when I throw it at the wall because the UI is so frustrating.
synack··on Safe C++
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 users guide. https://docs.adacore.com/spark2014-docs/html/ug/index.html

synack··on Safe C++
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 requirements are satisfied by proof of “Absence of Runtime Exceptions” (AoRTE), which is easier than a full formal proof.

← PreviousPage 3 of 11Next →