There's a popular misconception about proofs in software engineering, that it's somehow superfluous or "not worth the effort". We would argue that automated proofs were born out of necessity, and that the near future where every environment will be a contested environment, proof-bearing compilation will be more necessary than ever. https://lnkd.in/e_bBPM9F
Braidpoint
Technology, Information and Internet
Asheville, North Carolina 169 followers
Secure, Real-Time Intelligent Systems. Advanced software and hardware solutions that keep you in the loop.
About us
We deliver industry leading technology solutions with exceptional performance, remarkable insight and first-class safety.
- Website
-
https://speakez.tech
External link for Braidpoint
- Industry
- Technology, Information and Internet
- Company size
- 2-10 employees
- Headquarters
- Asheville, North Carolina
- Type
- Privately Held
- Founded
- 2021
Locations
-
Primary
Get directions
124 Choctaw St
Asheville, North Carolina 28801, US
-
Get directions
254 Chapman Rd
Ste 208 #5188
Newark, Delaware 19702, US
Employees at Braidpoint
Updates
-
Every platform carries costs that are assumed and after a time are never itemized. For managed platforms like #dotnet, runtime reflection is a prime example: the compiler 'knew' everything, discarded most of it, and decades of dispatch overhead, trimming workarounds, and AOT friction got absorbed as the price of doing business. The deeper trap is the sunk cost in the toolchain: the more tooling an ecosystem builds around an assumption, the harder it becomes to ask whether it was ever necessary. This is a compounding business cost that most working groups never examine. We took a fresh perspective, and the payoff reaches past workflow efficiency: preserving what the compiler 'knows' yields safer, more resilient systems. #fsharp #cpp New on the blog: https://lnkd.in/eyDz2Rpn
-
Braidpoint reposted this
Want better qubits? Well, “draw” better junctions. ✏️⚛️ That’s exactly what we’re doing by plugging GenISys GmbH’s tool into our nanofab workflow. 🧪🛠️ Making quantum chips is like sketching at the nanoscale: we “draw” patterns into the material using a beam of electrons, which then define the tiny structures on our superconducting chips. The challenge? More often than not, electrons don’t go where you want them to... As they go through the resist and substrate, they scatter and “blur” the pattern. This is the proximity effect, and it can distort josephson junction dimensions (which are the key superconducting patterns) and even ruin entire chips. ❌ This is where GenISys GmbH's simulation tool comes in. It predicts how electrons will scatter before fabrication, enabling us to tune the exposure dose in the right places so the final chip matches our design. 🗺️ ✅ At Alice & Bob, advancing our cat‑qubit chips means testing a variety of designs at a rapid pace. This tool lets us fab quicker 🔁 and come back with chips that are better and more reliable. Excited to work with GenISys as we develop the next and best generations of our cat‑qubit chips! 🐈⬛🚀 #QuantumComputing #CatQubits #QuantumChips
-
-
eBPF (Extended Berkeley Packet Filter) lets you run custom, sandboxed code directly inside an OS kernel (Linux *or* Windows) without altering the kernel itself. It can provide real-time, deep system visibility, performance and security enforcement at near-native speeds. Most developers still don't know it exists, but they should. Shifting eBPF verification left is the key to treating the OS kernel as a core accelerator in heterogeneous AI workloads. Traditionally, developers fight the rigid kernel verifier at load time, causing silent deployment failures. By using a proof-aware compiler framework, we can mathematically guarantee a program will pass the verifier before it ever builds. This brings the OS kernel into the exact same accelerator "weave" as GPUs, NPUs, and other processor types. https://lnkd.in/eZXf9gWM
-
Braidpoint reposted this
My company is growing, and so the name change is reflective of that. There's lots of work to do, not the least of which is pivoting the company page here. But I thought I'd drop this note to let my early supporters know what's coming - great things ahead! https://lnkd.in/e-HNj3Se
-
"Weaving the Braid" is a #cleflang blog entry on "braided parallelism" in our concurrent programming model. "Braid" as a term goes further, into quantum compute, which we'll save for later as the work demands it. The current blog entry is a summation that points to a range of contributions in our body of work. https://lnkd.in/eA-t-PDD
-
-
Braidpoint reposted this
It was fun "connecting the dots" across the body of work I've built up in #cleflang since COVID lockdown. Graph #visualization s have the ability to convey meaning in a way that words literally fail to do as efficiently.
-
