HackerTrans
TopNewTrendsCommentsPastAskShowJobs

beckford

no profile record

Submissions

SFC vs. Vizio Ruling on General Public License Compliance

dlapiper.com
2 points·by beckford·قبل شهرين·0 comments

GPLv2 and Installation Requirements

lwn.net
2 points·by beckford·قبل 5 أشهر·0 comments

An Overview of Attestations in CI

github.com
1 points·by beckford·قبل 9 أشهر·0 comments

Writing reliable and maintainable metaprograms in pure C99

github.com
9 points·by beckford·قبل 9 أشهر·1 comments

Using AI to stop tech support scams in Chrome

security.googleblog.com
1 points·by beckford·قبل 9 أشهر·0 comments

Justin Cormack – A decade of containers [video]

youtube.com
3 points·by beckford·قبل 9 أشهر·1 comments

Current State and Future of KCL

github.com
1 points·by beckford·قبل 9 أشهر·0 comments

A beginner's guide to deploying LLMs with AMD on Windows using PyTorch

gpuopen.com
128 points·by beckford·قبل 9 أشهر·47 comments

Traefik's 10-year anniversary

traefik.io
253 points·by beckford·قبل 10 أشهر·147 comments

Show HN: dk, a Windows-friendly, Nix-like build system

github.com
1 points·by beckford·قبل 10 أشهر·0 comments

comments

beckford
·قبل 3 أشهر·discuss
Using fragments for secure data has been discussed before on hn: https://news.ycombinator.com/item?id=23036515. Tldr: it may not go directly to the server (unless you are using a buggy browser or web client) but the fragment is captured in several places.
beckford
·قبل 3 أشهر·discuss
That hasn't been true for a few years at least. https://www.jetbrains.com/help/clion/cmake-debug.html is has had CMake debugging since cmake 3.27. Ditto for vscode and probably other C IDEs I am not familiar with. So does Gradle for Java. GNU make is hardly exclusive.
beckford
·قبل 6 أشهر·discuss
> One reason is that far more of their students actually applied than would be expected.

This sentence is buried midway through the article. It would be good for a future post to expand on this ... how much is explained by students simply applying more frequently to their local schools. This explanation was the only plausible explanation in the article I saw answer "why".
beckford
·قبل 6 أشهر·discuss
If you were looking at the parse link in the author's comment, you were looking at a spec (called a module interface in OCaml/OxCaml, similar to an interface in Java). The parse implementation is at https://github.com/avsm/httpz/blob/240051dd5f00281b09984a14a...

That said, I would be happy if all I needed to type in was a spec.
beckford
·قبل 8 أشهر·discuss
Since the link is paywalled, the TLDR paragraph is:

> Boasberg said in the ruling that the FTC had incorrectly excluded YouTube and TikTok from the market where it challenged Meta's dominance. "Even if YouTube is out, including TikTok alone defeats the FTC’s case," the judge said.

I agree. Meta does not have a monopoly since they compete with TikTok.
beckford
·قبل 8 أشهر·discuss
> The first main disadvantage is that they require the kernel to support syscall tracing, which essentially means they only work on Linux. I have Ideas™ for how to get this working on macOS without disabling SIP, but they're still incomplete and not fully general; I may write a follow-up post about that. I don't yet have ideas for how this could work on Windows, but it seems possible.

On Windows, Linux, and also macOS with SIP disabled (as implied, disabling is a bad idea), the https://github.com/jacereda/fsatrace executable exists today and can trace filesystem access. It is used by the Shake build system.

In particular, https://neilmitchell.blogspot.com/2020/05/file-tracing.html mentions that Shake copies system binaries to temporary folders to workaround the SIP protection. That blogpost also mentions other problems and solutions (like library preloading).
beckford
·قبل 9 أشهر·discuss
Good advice but still:

> investors warn the good times won’t last forever

Umm ... these aren't short-term investors. They are investing because they think at least one of their bets will pay-off.
beckford
·قبل 9 أشهر·discuss
Introduction paragraph:

Metalang99 is a firm foundation for writing reliable and maintainable metaprograms in pure C99. It is implemented as an interpreted FP language atop of preprocessor macros: just #include <metalang99.h> and you are ready to go. Metalang99 features algebraic data types, pattern matching, recursion, currying, and collections; in addition, it provides means for compile-time error reporting and debugging. With our built-in syntax checker, macro errors should be perfectly comprehensible, enabling you for convenient development.
beckford
·قبل 10 أشهر·discuss
Yeah, I don't disagree. I'd go further and say the examples are on-point for a "human oriented" language. But the formal spec reveals how simple or complicated this language is. (And I'm also writing this from the perspective of someone who uses a programming language that does not have a HOML implementation).
beckford
·قبل 10 أشهر·discuss
Not OP, but I think it does run Postgres as a process. However, IMHO the general use case for SQL is for external actors (humans, machines) to get access to the underlying data in a structured way. So I see a benefit for a true in-process embedding of Postgres if the process exposed a Postgres TCP/IP port 5432, etc. (Hook your software up to a query tool, a reporting interface, etc.)

Beyond that, why care whether the "embedding" involves a spawned process? It still works great for integration tests which I suspect is the main use case, and for specialized data analysis software where a spawned process is no big deal.
beckford
·قبل 10 أشهر·discuss
For something like this I would love to see a formal spec to go along with the examples.
beckford
·قبل 10 أشهر·discuss
Disclaimer: I took over maintenance of the Cap'n Proto C bindings a couple years ago.

That makes sense. There is some opportunity though since the Cap'n Proto RPC had always lacked a JavaScript RPC implementation. For example, I had always been planning on using the Cap'n Proto OCaml implementation (which had full RPC) and using one of the two mature OCaml->JavaScript frameworks to get a JavaScript implementation. Long story short: Not now, but I'd be interested in seeing if Cap'n Web can be ported to OCaml. I suspect other language communities may be interested. Promise chaining is a killer feature and was (previously) difficult to implement. Aside: Promise chaining is quite undersold on your blog post; it is co-equal to capabilities in my estimation.
beckford
·قبل 10 أشهر·discuss
Since Cap'n Web is a simplification of Cap'n Proto RPC, it would be amazing if eventually the simplification traveled back to all the languages that Cap'n Proto RPC supports (C++, etc.). Or at least could be made to be binary compatible. Regardless, this is great.