Menu

#FormAl

17 posts

Feed·
17 of 17 posts
0Read More

How to pay tribute to my small town upbringing in Alaska when dressing formal.

I am trying to dress more stylish and formal now that I don’t live in Alaska year-around and am in a big city most of the year. I am looking for Inspiration or ideas to incorporate “rural accents“ to develop my style when wearing suits We aren’t cowboys,…

15s
Formal methods and the future of programming
🖼️
0Read More

Formal methods and the future of programming

Hacker News·4 months ago
#S4h4I4QT
#formal#methods#agents#code#type

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

15s
Formal methods and the future of programming
🖼️
0Read More

Formal methods and the future of programming

Hacker News·5 months ago
#YMQT8kA7
#formal#methods#agents#code#type

I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

15s
When one translation isn't enough: building a language coach for real speech
🖼️
0Read More

When one translation isn't enough: building a language coach for real speech

DEV Community: nlp·J Now·5 months ago
#feF7584M
#dev#konid#farsi#formal#claude

I was drafting a message to my girlfriend in Farsi — something small, just that I'd thought about her...

15s
SQLite Formal Verification, Postgres FTS with ParadeDB, & Multi-DB Schema Diff
🖼️
0Read More

SQLite Formal Verification, Postgres FTS with ParadeDB, & Multi-DB Schema Diff

DEV Community·soy·6 months ago
#XbLz9JUA
#sqlite#database#sql#software#postgresql

From Dev Community: SQLite Formal Verification, Postgres FTS with ParadeDB, & Multi-DB Schema Diff

15s
0Read More

Interview attire as a woman at a Men's formal wear company

Reddit r/interviews·u/69EmoKittys·6 months ago
#sxxsD0Gb
#wear#formal#interview#company#attire

As the title suggests i have an interview with a men's formal wear company and im not sure what exactly to wear, its tomorrow afternoon and an hours commute and I don't really have any proper formal wear. Should I just go out and buy some?

15s
SQLite RISC-V Fix, Formal Verification & pg_grpc for SQL-Native gRPC
📰
0Read More

SQLite RISC-V Fix, Formal Verification & pg_grpc for SQL-Native gRPC

DEV Community·soy·6 months ago
#PaLvg90f
#sqlite#database#sql#software#formal

From Dev.to - database: SQLite RISC-V Fix, Formal Verification & pg_grpc for SQL-Native gRPC

15s