https://github.com/cartazio/oh-punkin-pi/blob/main/scripts/build-binary.sh <—— my open source testbed harness i mention
Personal contact first name dot lastname at gmail you know the suffix
Biz email that gets auto filtered so I reply slightly sooner
to them
First name atsign wellposed dot sign {random gibber gabber to be ignored} com
I prefer following up email with phone because its a more efficient use of my time, :)
I'm currently building numerical computation tools for businesses using haskell.
I also like helping match awesome people with cool opportunities (when I get along with them :-) )
投稿
[untitled]
1 ポイント·投稿者 carterschonwald··0 コメント
Language based security. 2011-2021
langsec.org
4 ポイント·投稿者 carterschonwald··0 コメント
3 Million Websites use Bootstrap today, here's a list!
meanpath.com
8 ポイント·投稿者 carterschonwald··0 コメント
Show HN: Try Purescript website, compiled with GHCJS so it runs client side
hdiff.luite.com
2 ポイント·投稿者 carterschonwald··0 コメント
Cryptol DSL, a tool for writing correct crypto algorithms, is now open-source
cryptol.net
181 ポイント·投稿者 carterschonwald··24 コメント
Haskell in the Newsroom [video]
infoq.com
97 ポイント·投稿者 carterschonwald··27 コメント
API design should be an alternating optimization
blog.cstheory.net
1 ポイント·投稿者 carterschonwald··0 コメント
Mapping high level constructs to LLVM IR
llvm.lyngvig.org
5 ポイント·投稿者 carterschonwald··0 コメント
OpenBlas project raising money for Haswell+Piledriver hardware
bountysource.com
23 ポイント·投稿者 carterschonwald··8 コメント
Feed Reader Written with Haskell and Ur/Web
reddit.com
1 ポイント·投稿者 carterschonwald··0 コメント
Ny haskell talk: who you gonna call? Ghc and its primops
vimeo.com
2 ポイント·投稿者 carterschonwald··1 コメント
Rename comic sans to comic cerns to commemorate higgs detection
change.org
1 ポイント·投稿者 carterschonwald··0 コメント
"Don’t waste your time in crappy startup jobs."
michaelochurch.wordpress.com
19 ポイント·投稿者 carterschonwald··3 コメント
Ask PG: did you just change the password hashes?
1 ポイント·投稿者 carterschonwald··2 コメント
Okcupid has huge security privilege escalation for all users
5.6 sol is pretty good, its definitely very very well tuned, i'm not quite sure which of the others i should use near term, but theyre doing great work
this so true. its really hard to make sure a model isnt going off the rails if i dont see full cot. the fact that oai and anthropic models hide it now has made them less reliable. which is a shame
not sure about that, but im actively working on designing ultra sparse models that i want to have perform competitively with stuff 100-10_000 times larger. ehich does yield similar throughput. time will tell id it works out
one of the most hilarious examples of how the current wh admins false protectionism, in my mind, is the crucible steel bankruptcy in jan/feb 2025.
its a technological tragedy because it was the only facility im aware of globally that could actually manufacture steel based carbide alternatives at commercial volumes. idk if the relevant equipment is being operated by anyone post bankruptcy. powder steel equipment is a bit less destroyed when turned off, but i think the key blocker is that heat cycling a 3k centigrade furnace will age the material and cause cracking thatmakes it hard to resume the powederization flows
this is pretty cool. i think part of the root cause is current rlhf post training design around confidence and optics rather than cooperative transparent honesty. though its kinda an expensive hypothesis to dig into as a private individual
i literally had a co2 sensor for my engineering team last fall cause the space was so poorly ventilated. just measuring it continuously radically changed how everyone approached using the space packing wise and ventilation. smelled better too :p
.... i thought this was more widely known, granted i did write up a pretty wacky doc explaining way more fun experiments than these, and i have a fix that even prevents role collapse in my harness on github
use that to install assuming you have whatevers needed to set up.
ive a much fancier next gen thing i hope to make available as a sass mid to late summer, but if you have any feedback or questions on mine do reach out
mine def has to be the initial impl of my python to my personal fave compiler ir. i got claude chat to write it in two sentences. 4 turns helping it rmeemver where it put shit becsuse of transcript issues
Personal contact first name dot lastname at gmail you know the suffix Biz email that gets auto filtered so I reply slightly sooner to them First name atsign wellposed dot sign {random gibber gabber to be ignored} com
I prefer following up email with phone because its a more efficient use of my time, :)
I'm currently building numerical computation tools for businesses using haskell.
I also like helping match awesome people with cool opportunities (when I get along with them :-) )