Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
pyjarrett
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
31.
▲
by
pyjarrett
3y ago
The real problem is teaching children that "reading" is merely decoding words off a page, and "listening" is merely hearing the words someone says. The book itself is a way to open the door to learning, not the end point
32.
▲
by
pyjarrett
3y ago
> 2024 Carolina Code Conference (polyglot) Thanks for mentioning this! I work remote in SC and its nice to hear about a nearby convention.
33.
▲
by
pyjarrett
3y ago
I don't mind Jenkins pipeline limitations because my philosophy is that CI should be as simple and contain as little build logic as possible. Every job should be a few simple commands or a python script or something I can run locally.
34.
▲
by
pyjarrett
3y ago
> You can try running this code yourself and see if you get the same answers. This experiment is repeatable. OpenSUSE: 483 0.305 484 0.293 485 0.283 486 0.275 487 0.3 488 0.302 489 0.304 490 0.274 49
35.
▲
by
pyjarrett
3y ago
I don't know about "most successful," but Ariane 5 flew 83 consecutive missions without a failure, and had a 95.7% success rate overall. It was used to launch the James Webb Space Telescope.
36.
▲
by
pyjarrett
3y ago
Yes. SPARK is a verifiable subset of Ada and can be mixed with it in the same project. There are SPARK crates you can use via Alire [1]. There's a SPARK implementation of the TweetNaCl crypto library[2] You can use it for general pu
37.
▲
by
pyjarrett
3y ago
> this is an unreasonable standard My phrasing could have been more clear, I'm not saying you need a 100% perfect system and no on-call. It's weird they're instituting on-call for everyone now , and I'm curious about
38.
▲
by
pyjarrett
3y ago
What's the rationale for setting up the on-call schedule? Is the system that unstable? > on call at least once a week, including the work day and evening, once a month, including the weekend of that week. > I should also note th
39.
▲
by
pyjarrett
3y ago
I've been remote for almost 7 years. I live ~175 miles to the closest tech hub, so changing to in-office work isn't an option unless I move. If I was forced to move, an equivalent house to what I have now would cost about 3 times
40.
▲
by
pyjarrett
3y ago
You are a hero among managers.
41.
▲
by
pyjarrett
3y ago
Perforce is used in game dev since it handles binary files super well, and is used by many people who aren't engineers. It's not perfect, but it's super easy to use and the GUI tooling is amazing.
42.
▲
by
pyjarrett
3y ago
> Having a raw pointer and having an index into an array are essentially equivalent You can split the handle (index) into an upper "magic" and lower "index" part, with the handle being an opaque type, only being able
43.
▲
by
pyjarrett
3y ago
Not only this, but also books. There's a big difference between ghostwriting (biographies and fiction) and then the now fully GPT-generated books (non-fiction, especially technical) for sale on Amazon.
44.
▲
by
pyjarrett
3y ago
Wow, I just integrated Lua into a C++ project for the first time last night. Took <15 minutes to integrate it with the build system (FASTBuild), watched a tutorial video[1], and then in another 15 minutes I had it hooked up to configure
45.
▲
by
pyjarrett
3y ago
I was poking around https://forums.fsharp.org/ and https://www.reddit.com/r/fsharp/
46.
▲
by
pyjarrett
3y ago
> F# is such a great language. I very much feel this, I found it productive, but it feels like a complete ghost town. I'm considering swapping to Go over using .NET for tooling/scripting.
47.
▲
by
pyjarrett
3y ago
It's not promoted well. Relying on open source contributions to the ecosystem to keep it going also removes its "first-class" branding. I've been using F# as a cross-platform Python/Bash/Powershell replacement
48.
▲
by
pyjarrett
4y ago
True, but I only recently started learning .NET and I had to come up with a mnemonic to help filter out and through older docs and resources. It gave enough clarity to gain traction.
49.
▲
by
pyjarrett
4y ago
> Still being updated and worked on It is, hands down, my best experience working in a functional language. I do hobby work in it, and it seems super nice, but I'm not sure where everyone is. > still very few people use it. Look
50.
▲
by
pyjarrett
4y ago
"Mono is an open source implementation of Microsoft's .NET Framework." [1] Unity looks like it uses its own fork of Mono, or IL2CPP, which is a fancy thing that converts the intermediate language produced by C# into C++ code,
51.
▲
by
pyjarrett
4y ago
1. .NET "Core" ... I tell myself "C is for Cross platform." This is usually what people seem like they mean now when they talk about ".NET". 2. .NET "Framework" ... I tell myself "F is for Forme
52.
▲
by
pyjarrett
4y ago
F# is pretty close to "GC'd Rust with Python-esque indenting". In my head it feels like "Rust-lite". I ported a program from C#, to F#, and then to Rust. The F# -> Rust conversion was a lot of "add curly b
53.
▲
by
pyjarrett
4y ago
> IMHO a really underrated feature of Rust is how friendly its tooling is towards its users. I'd really like to see something like that for functional programming. > abysmal tooling around them F# has amazing tooling. Debugging w
54.
▲
by
pyjarrett
4y ago
Knowing a good bit of Rust helped me considerably, due to the commonalities of being expression-based, pattern matching and sum-types. F# almost feels like a more functional and GC'd Rust.
55.
▲
by
pyjarrett
4y ago
I normally write C++, but I've also written in Rust, Python, Ruby and bunch of other languages. I've never had trouble with a programming language until Haskell, and had to accept that I'm just probably just not smart enough
56.
▲
by
pyjarrett
4y ago
Ada calls these "if expression" and the switch-variant "case expressions". It's the same syntax as the control flow ones, just wrapped with parens. value := (if a then True else (
57.
▲
by
pyjarrett
4y ago
I've thought about it, but I spent a lot of time going down the rabbit hole with functional languages with Haskell a few years ago and was just checking out the .NET ecosystem as a whole since I wasn't familiar with C#. The experi
58.
▲
by
pyjarrett
4y ago
I've been doing this a lot. I am doing an experiment of trying out C# as a Python replacement for automation because of (1) the strength of the built-in libraries and (2) not requiring an interpreter. Bundling the C# runtime into appl
59.
▲
by
pyjarrett
4y ago
Despite enjoying the terseness of C, with curly braces and short notations, many "normalized" things in C used to trip up math students I would tutor in elementary programming classes. "Why is `=` assignment and not `==`? H
60.
▲
by
pyjarrett
4y ago
I signed up for Kagi last month, and haven't used another search engine since. I've already gotten my money back in time savings from good search results, I didn't realize they were also working on other valuable things like
More ›