RSS feeds

03 Dec 2022Planet HaskellBrent Yorgey: Competitive programming in Haskell: Infinite 2D array, Level 1
03 Dec 2022Planet HaskellMonday Morning Haskell: Day 3 - Rucksacks and Badges
02 Dec This Week in PSC (089)
02 Dec 2022Planet HaskellMonday Morning Haskell: Day 2 - Rock, Paper, Scissors
01 Dec 2022blogs.perl.orgMaking GitHub CI work with Perl 5.8.
01 Dec 2022Read Rust - AllMemory Safe Languages in Android 13
01 Dec 2022Planet HaskellTweag I/O: Higher-orderness is first-order interaction
01 Dec 2022Planet HaskellMonday Morning Haskell: Day 1 - Intro Problem
01 Dec 2022Standard C++Mike Shah's Modern C++ YouTube Series -- Mike Shah
01 Dec 2022Standard C++The 2023 Call for Speakers opens -- C++ on Sea
30 Nov 2022blogs.perl.orgPerl Weekly Challenge 193: Binary String and Odd String
30 Nov 2022blogs.perl.orgNew feature: HTTPS support
30 Nov 2022blogs.perl.orgGerman Perl/Raku Workshop 2023 Call for Papers
30 Nov 2022Read Rust - AllHow much does Rust's bounds checking actually cost?
30 Nov 2022Read Rust - AllFedora 38 Looks To Shift RPM To Sequoia, A Rust-Based OpenPGP Parser
30 Nov 2022Read Rust - AllOut-of-bounds memory access bug
30 Nov 2022Planet HaskellMonday Morning Haskell: Advent of Code 2022!
29 Nov 2022Planet HaskellTheory Lunch (Institute of Cybernetics, Tallinn): A Remarkable Property of Real-Valued Functions on Intervals of the Real Line
28 Nov 2022blogs.perl.orgTWC 192: Frosting a cake without flipping the spatula
28 Nov 2022Planet = erlang.Get Rid of Your Old Database Migrations
28 Nov 2022Planet HaskellWell-Typed.Com: Haskell development job with Well-Typed
28 Nov 2022Planet HaskellMonday Morning Haskell: Black Friday Sale Ends Today!
27 Nov 2022blogs.perl.orgTWC 189: Saving your Degree by Great Character!
27 Nov 2022Planet HaskellMark Jason Dominus: Whatever became of the Peanuts kids?
26 Nov 2022blogs.perl.orgKephra: Select All
26 Nov 2022blogs.perl.orgAn objective criteria for deprecating community platforms
26 Nov 2022Planet HaskellMark Jason Dominus: Wombat coprolites
25 Nov 2022blogs.perl.orgThis Week in PSC (088)
25 Nov 2022Read Rust - AllSafely writing code that isn't thread-safe
24 Nov 2022blogs.perl.orgPerl Weekly Challenge 192: Binary Flip and Equal Distribution
24 Nov 2022Read Rust - AllRedox OS 0.8.0
24 Nov 2022Read Rust - AllRust developers can now generate consistent type schema with Typeshare
24 Nov 2022Planet HaskellTweag I/O: Threads and messages with Rust and WebAssembly
23 Nov 2022Planet = erlang.Hiding Theory in Practice
23 Nov 2022Planet HaskellWell-Typed.Com: Announcing a live tutorial on eventlog2html and ghc-debug
23 Nov 2022Standard C++First videos of Meeting C++ 2022 released
22 Nov 2022blogs.perl.orgReturn of Kephra
22 Nov 2022Read Rust - AllFrom AST to bytecode execution in EndBASIC
22 Nov 2022Read Rust - AllThe carcinization of Go programs
22 Nov 2022Read Rust - AllFlux: Refinement Types for Rust
22 Nov 2022Planet HaskellTweag I/O: WebAssembly backend merged into GHC
22 Nov 2022Planet HaskellChris Reade: Graphs, Kites and Darts
21 Nov 2022Planet HaskellMichael Snoyman: Seeking new Stackage Curator
21 Nov 2022Standard C++Messaging with 0MQ (ZeroMQ) -- Richard Thomson
21 Nov 2022Standard C++The Power of Clean C++ -- SonarSource
19 Nov 2022Planet HaskellStackage Blog: LTS 20 release for ghc-9.2 and Nightly now on ghc-9.4
18 Nov 2022blogs.perl.orgPerl Weekly Challenge 191: Twice Largest and Cute List
18 Nov 2022blogs.perl.orgThis Week in PSC (087)
18 Nov 2022Planet HaskellWell-Typed.Com: Funding GHC, Cabal and HLS maintenance
17 Nov 2022blogs.perl.orgLive streaming the release of Perl 5.37.6
17 Nov 2022Planet HaskellTweag I/O: JupyterWith Next
17 Nov 2022Standard C++Using final in C++ to improve performance -- Niall Cooling
17 Nov 2022Standard C++The Proxy Pattern -- Rainer Grimm
17 Nov 2022Standard C++C++ constexpr parlor tricks: Obtain the length of a string at compile time -- Raymond Chen
15 Nov 2022blogs.perl.orgPerl Weekly Challenge 190: Capital Detection and Decoded List
15 Nov 2022Newest Python PEPsPEP 701: Syntactic formalization of f-strings
15 Nov 2022Planet HaskellTweag I/O: Staged programming with typeclasses
14 Nov 2022Planet HaskellMichael Snoyman: Why my video calls sucked (and how I fixed it)
13 Nov 2022blogs.perl.orgPerl performance evolution over the last decade
13 Nov 2022Standard C++For Software Performance, the Way Data is Accessed Matters! -- Ivica Bogosavljević
13 Nov 2022Standard C++AMA with Sean Parent at Meeting C++ online
12 Nov 2022Planet HaskellPhilip Wadler: IO Scotfest: The Age of Voltaire - Nov 18-19
12 Nov 2022Standard C++Bjarne Stroustrup live online on Nov 15: "What is good C++ code?"
12 Nov 2022Standard C++Standard C++ Foundation Annual Report for Fiscal Year 2022
11 Nov 2022blogs.perl.orgThis Week in PSC (086)
11 Nov 2022Standard C++Improving my C++ time queue -- Marius Elvert
11 Nov 2022Standard C++What's New for C++ Developers in Visual Studio 2022 17.4 -- Sy Brand
11 Nov 2022Standard C++Overview of C++ Variable Initialiation -- Christian Aichinger
11 Nov 2022Standard C++The Facade Pattern -- Rainer Grimm
09 Nov 2022blogs.perl.orgI start to post the entries of "Python/numpy porting to Perl" in DEV Community
08 Nov 2022Newest Python PEPsPEP 8104: 2023 Term Steering Council election
08 Nov 2022Planet HaskellMark Jason Dominus: Addenda to recent articles 202210
08 Nov 2022Standard C++CopperSpice: Comparison Operators: Breaking Change in C++20
07 Nov 2022Planet HaskellGHC Developer Blog: GHC 9.2.5 is now available
06 Nov 2022blogs.perl.orgArray Degree
05 Nov 2022Planet HaskellMark Jason Dominus: A map of Haskell's numeric types
04 Nov 2022Planet = erlang.¿Miscelánea o Procrastinación Encubierta?
03 Nov 2022Planet HaskellGHC Developer Blog: GHC 9.4.3 released
02 Nov 2022blogs.perl.orgSpoken like a 1980s chip
02 Nov 2022Planet HaskellMatt Parsons: Break Gently with Pattern Synonyms
02 Nov 2022Standard C++Lifetime extension of temporary objects in C++: common recommendations and pitfalls
01 Nov 2022blogs.perl.orgPerl Weekly Challenge 189: Greater Character and Array Degree
01 Nov 2022Planet = erlang.The Demanding Work of Analyzing Incidents
01 Nov 2022Standard C++FOSSA is announcing the GA of a security and license scanning capability for C and C++ projects
31 Oct blogHow to get started with OCaml in 2022
31 Oct 2022Read Rust - AllA first look at Rust in the 6.1 kernel
31 Oct 2022Planet HaskellMark Jason Dominus: Emoji for U.S. presidents
30 Oct 2022blogs.perl.orgHello and welcome!
30 Oct 2022blogs.perl.orgPerl Weekly Challenge 188: Divisible Pairs and Total Zero
29 Oct 2022Read Rust - AllGeneric associated types to be stable in Rust 1.65
29 Oct 2022Planet HaskellMatt Parsons: Spooky Masks and Async Exceptions
29 Oct 2022Standard C++Ask me Anything C++ with Nicolai Josuttis
28 Oct 2022blogs.perl.orgThe scoop on Windows running Perl
28 Oct blogThe MirageOS Retreat: A Journey of Food, Cats, and Unikernels
27 Oct 2022Planet HaskellWell-Typed.Com: GHC activities report: August-September 2022
27 Oct 2022Standard C++Meeting C++ 2022 is in 3 weeks!
27 Oct 2022Standard C++C++ on Sea 2023
27 Oct 2022Standard C++Convenient Unicode UTF-8 UTF-16 Conversion Functions for Windows C++ Code -- Giovanni Dicanio
25 Oct 2022blogs.perl.orgPerl Weekly Challenge 187: Days Together and Magical Triplets
25 Oct 2022blogs.perl.orgNext stable DBD::SQLite will be released at the beginning of November
25 Oct 2022Read Rust - AllEvaluating Build Scripts in the IntelliJ Rust Plugin
25 Oct 2022Standard C++Examples of errors that PVS-Studio found in LLVM 15.0
24 Oct 2022Planet HaskellGabriella Gonzalez: How to correctly cache build-time dependencies using Nix
24 Oct 2022Planet HaskellComonad Reader: Categories of Structures in Haskell
24 Oct 2022Planet HaskellComonad Reader: On the unsafety of interleaved I/O
24 Oct 2022Planet HaskellComonad Reader: Fast Circular Substitution
24 Oct 2022Planet HaskellComonad Reader: Free Monoids in Haskell
24 Oct 2022Planet HaskellComonad Reader: Domains, Sets, Traversals and Applicatives
24 Oct 2022Standard C++Improving copy and move elision - Bran Hagger
22 Oct 2022Planet HaskellGabriella Gonzalez: What does "isomorphic" mean (in Haskell)?
21 Oct 2022Read Rust - AllRAII: Compile-Time Memory Management in C++ and Rust
21 Oct 2022Read Rust - AllA deeper look into the GCC Rust front-end
21 Oct 2022Read Rust - AllRust on Espressif chips - 17-10-2022
21 Oct 2022Read Rust - AllProgress report on rustc_codegen_cranelift (Okt 2022)
21 Oct 2022Newest Python PEPsPEP 700: Additional Fields for the Simple API for Package Indexes
20 Oct 2022blogs.perl.orgBuy a Perl 5.36 mug and support The Perl Foundation
20 Oct blogUp-to-Date Online Documentation
19 Oct blogPorting Charrua-Unix and Rawlink to Eio
19 Oct 2022Read Rust - AllWelcoming Sage Griffin: Rust Foundation Communities Advocate
19 Oct 2022Standard C++PVS-Studio 7.21: GitLab Code Quality, Unreal Engine
18 Oct blogOCaml's Platform Installer Alpha Release
18 Oct 2022Standard C++CppCon 2022 online opening keynote on C++ Math: Lisa Lippincott
18 Oct 2022Standard C++The Bridge Pattern -- Rainer Grimm
18 Oct 2022Standard C++ACCU 2023 Call for Papers is open -- ACCU
17 Oct blogOCaml 5 Beta Release
17 Oct 2022Planet HaskellDonnacha Oisín Kidney: Lazily Grouping in Haskell
15 Oct 2022Read Rust - Allretrowin32, a win32 emulator
14 Oct blogReal World OCaml Book Giveaway!
14 Oct 2022Read Rust - AllA Memory Safe Implementation of the Network Time Protocol
14 Oct 2022Planet HaskellKen T Takusagawa: [ykoqomhu] summing reciprocals minimizing round-off error
13 Oct 2022blogs.perl.orgMystery Buglet #2
12 Oct 2022blogs.perl.orgPerl Weekly Challenge 185: MAC Address and Mask Code
12 Oct 2022blogs.perl.orgPerl Weekly Challenge 186: Zip List and Unicode Makeover
12 Oct blog8 OCaml Libraries to Make Your Life Easier
11 Oct 2022blogs.perl.orgThe deep, the shallow and the ugly (classes)
11 Oct 2022blogs.perl.orgClass::Plain supports Role using Role::Tiny
10 Oct 2022blogs.perl.orgFrankfurter Perl Workshop 2022 - 6.11.2022
10 Oct blogICFP 2022 Review
10 Oct 2022Planet HaskellJoachim Breitner: rec-def: Minesweeper case study
10 Oct 2022Standard C++CppCon 2022 keynote: How C++23 changes the way we write code -- Timur Doumler
08 Oct 2022Planet HaskellOleg Grenrus: Simple(r?) simplices
07 Oct 2022Planet HaskellMatt Parsons: Femoracetabular Impingement
07 Oct 2022Planet HaskellMatt Parsons: Femoroacetabular Impingement
06 Oct 2022Read Rust - AllSingle Pass Recursion in Rust
06 Oct 2022Read Rust - AllAn Invitation to Rust Maintainers
06 Oct 2022Read Rust - AllHard Mode Rust
06 Oct 2022Planet HaskellBrent Yorgey: Swarm alpha release!
06 Oct 2022Standard C++The power of ref-qualifiers -- Andreas Fertig
05 Oct 2022blogs.perl.orgLook mom I invented colors
05 Oct 2022Planet = erlang.My Future with Elixir: set-theoretic types
05 Oct 2022Read Rust - Allzerocal - A Serverless Calendar App in Rust Running on
05 Oct 2022Standard C++Highlighting the student and support tickets for Meeting C++ 2022
05 Oct 2022Standard C++The gotcha of the C++ temporaries that don’t destruct as eagerly as you thought -- Raymond Chen
04 Oct 2022Read Rust - AllRewriting the Modern Web in Rust
04 Oct 2022Read Rust - AllHow (and why) nextest uses tokio, part 1
04 Oct 2022Read Rust - AllImplementing truly safe semaphores in rust, and the costs we pay for safety
04 Oct 2022Standard C++CppCon 2022 keynote video: Using C++14 in an Embedded 'SuperLoop' Firmware -- Erik Rainey
04 Oct 2022Standard C++C++20 Concurrency: Barrier -- Gajendra Gulgulia
04 Oct 2022Standard C++The Singleton: The Alternatives Monostate Pattern and Dependency Injection -- Rainer Grimm
04 Oct 2022Standard C++Deferred argument evaluation -- Joaquín M López Muñoz
03 Oct 2022Newest Python PEPsPEP 699: Remove private dict version field added in PEP 509
03 Oct 2022Standard C++September 2022 Conferences Trip Report: NDC TechTown, CoreC++, CppCon -- Timur Doumler
01 Oct 2022Standard C++Upcoming C++ User Group meetings in October 2022
30 Sep 2022Planet HaskellOleg Grenrus: Three different thinnings
29 Sep blogMirroring the opam repository and all tarballs
29 Sep 2022Read Rust - AllThe perils of pinning
29 Sep 2022Read Rust - AllFutures Concurrency IV: Join Ergonomics
29 Sep 2022Read Rust - Allcargo careful: run your Rust code with extra careful debug checking
29 Sep 2022Read Rust - AllAnnouncing the Rust Style Team
29 Sep 2022Read Rust - AllAnnouncing ICU4X 1.0
29 Sep 2022Standard C++Next week: Meeting C++ online job fair
28 Sep 2022Standard C++CppCon 2022 keynote video: Contemporary C++ in action -- Daniela Engert
27 Sep 2022Standard C++A talk with Jason Turner: the history of CppCast, and why it was shut down
26 Sep 2022Planet HaskellPhilip Wadler: Angry Reviewer
26 Sep 2022Planet HaskellMatthew Sackman: Complexity and software engineering
26 Sep 2022Standard C++Cerealization and RPC with Cap'n Proto -- Richard Thomson
26 Sep 2022Standard C++the sad state of debug performance in C++ - - Vittorio Romeo
25 Sep 2022Standard C++Reducing Signed and Unsigned Mismatches with std::ssize() -- Bartlomiej Filipek
25 Sep 2022Standard C++Static, Dynamic Polymorphism, CRTP and C++20’s Concepts -- Thomas Sedlmair
24 Sep 2022Planet HaskellMagnus Therning: Annotate projects in Emacs
23 Sep blogTarides Sponsors High School Hackers
23 Sep 2022Read Rust - AllCompiling Rust with GCC: an update
23 Sep 2022Read Rust - AllA pair of Rust kernel modules
23 Sep 2022Standard C++2022-09 Mailing Available
21 Sep 2022Planet = erlang.Erlang/OTP 25.1 Release
21 Sep 2022Planet HaskellLysxia's blog: The quantified constraint trick
19 Sep 2022Standard C++The Future of C++ Compiler Diagnostics in MSVC and Visual Studio -- Xiang Fan
19 Sep 2022Standard C++Enhance application security with FORTIFY_SOURCE -- Siddharth Sharma
19 Sep 2022Standard C++std::ssize() in C++20 -- by Bartlomiej Filipek
15 Sep 2022Planet HaskellJoachim Breitner: rec-def: Dominators case study
14 Sep 2022Planet HaskellJoachim Breitner: rec-def: Program analysis case study
10 Sep 2022Planet HaskellJoachim Breitner: rec-def: Behind the scenes
08 Sep 2022Planet HaskellWell-Typed.Com: Lockstep-style testing with quickcheck-dynamic
07 Sep 2022Planet = erlang.The Potential of Blockchain Technology | Marcus Treacher - ClearBank
07 Sep 2022Planet = erlang.Scalable distributed databases made easy with CockroachDB | Erlang Solutions Webinar
07 Sep 2022Planet = erlang.Blockchain for Future Models of Money | Marcus Treacher - ClearBank
07 Sep 2022Planet HaskellKen T Takusagawa: [aybvgyej] prime binary truncations
07 Sep 2022Planet HaskellGabriella Gonzalez: nix-serve-ng: A faster, more reliable, drop-in replacement for nix-serve
06 Sep blogTarides Sponsors Girls Can Code
05 Sep 2022Newest Python PEPsPEP 698: Override Decorator for Static Typing
03 Sep 2022Planet HaskellJoachim Breitner: More recursive definitions
01 Sep 2022Planet = erlang.Elixir v1.14 released
01 Sep 2022Planet HaskellBrent Yorgey: Competitive programming in Haskell: Infinite 2D array
30 Aug blogIntroducing the Jane Street Graduate Research Fellowship
29 Aug 2022Planet HaskellFP Complete: FP Complete Corporation Announces Partnership with Portworx by Pure Storage
29 Aug 2022Planet HaskellGabriella Gonzalez: Stop calling everything "Nix"
28 Aug 2022Planet HaskellGabriella Gonzalez: Incrementally package a Haskell program using Nix
26 Aug blogTarides Goes on Holiday!
25 Aug blogWhat the interns have wrought, 2022 edition
23 Aug 2022Newest Python PEPsPEP 697: Limited C API for Extending Opaque Types
02 Aug blogIrmin in the Browser
19 Jul blogTarides is on the Wavestone Radar!
14 Jul 2022Newest Python PEPsPEP 696: Type defaults for TypeVarLikes
12 Jul blogFaster Incremental Builds with Dune 3
05 Jul blogThe Magic of Merlin
28 Jun blogThales Cyber@Station F Selection
23 Jun blogTeam Tarides Visits a 17th Century Chateau
21 Jun blogFunctional Conf 2022
15 Jun blogOCaml 5 Alpha Release
15 Jun 2022Newest Python PEPsPEP 695: Type Parameter Syntax
13 Jun blogAdding Merkle Proofs to Tezos
11 Jun 2022Newest Python PEPsPEP 694: Upload 2.0 API for Python Package Repositories
09 Jun blogOCaml Matrix: A Virtual World
02 Jun blogTarides Sponsors 12th Annual Journées Franciliennes
29 May 2022Newest Python PEPsPEP 692: Using TypedDict for more precise \*\*kwargs typing
02 May Reboot: User-Centric Design & Content
26 Apr blogLightning Fast with Irmin: Tezos Storage is 6x faster with 1000 TPS surpassed
19 Apr blogTarides Partners with 50inTech!
14 Apr blogWhat's New in MirageOS 4!
29 Mar blogMirageOS 4 Released!
08 Mar blogSecure Virtual Messages in a Bottle with SCoP
08 Mar blogAll your metrics belong to influx
04 Mar blogResearch internships in our Tools and Compilers group
01 Mar blogSegfault Systems Joins Tarides
27 Jan blogOCaml Labs Joins Tarides
14 Jan blogHow Jane Street Pairs Interns to Projects and Teams During the Software Engineering Internship
11 Jan blogMagic-trace: Diagnosing tricky performance issues easily with Intel Processor Trace
09 Dec blogMonorobot: a Slack bot for monorepos
23 Nov blog'Signals and Threads' Podcast: What is an Operating System?
18 Nov blogTarides & Hyper: Partners in Agricultural Innovation
11 Nov blogMirageOS Workshop: Working with the Raspberry Pi 4
09 Nov blogMirageOS 4.0 Preview Live Presentation
21 Oct blogHiring a Developer Educator
14 Oct blogSCoP Passed Phase 1 of the DAPSI Initiative!
04 Oct blogThe New Replaying Benchmark in Irmin
30 Sep 2021Read Rust - AllRust for the Polyglot Programmer
21 Sep blogAnnouncing Tezos’ 8th protocol upgrade proposal: Hangzhou
06 Sep blogTarides Returns to FIC 2021
26 Aug blogGoodbye Core_kernel
26 Aug blogTarides Engineers to Present at ICFP 2021
26 Aug blogBenchmarking OCaml projects with current-bench
09 Aug blogWhat the interns have wrought, 2021 edition
04 Aug 2021Read Rust - AllAdding Rust-Stable libstd Support for Xous
03 Aug 2021Read Rust - AllThe push for GATs stabilization
03 Aug 2021Read Rust - AllImprovements for #[doc] attributes in Rust
21 Jul 2021Read Rust - AllRust 2021 public testing period
20 Jul blogTarides at WomenHack Virtual Event
30 Jun blogDeploying binary MirageOS unikernels
29 Jun blogTarides Introduces OSMOSE at the Open-Source Innovation Sprint
15 Jun blogLooking for a developer experience engineer
18 May blogBuilding Ahrefs codebase with Melange
30 Apr blogTarides project SCoP is selected as one of the brightest Data Portability projects in Europe!
23 Apr blogCryptography updates in OCaml and MirageOS
06 Apr 2021Read Rust - AllRust in the Android platform
18 Mar 2021Read Rust - AllBuilding a shared vision for Async Rust
04 Mar blogFlorence and beyond: the future of Tezos storage
25 Feb 2021Read Rust - AllFerrocene Part 3: The Road
15 Feb blogPartnering for more diversity in Tech
28 Jan 2021Read Rust - AllRust & the case of the disappearing stack frames
26 Jan blogRecent and upcoming changes to Merlin
25 Jan blogThe road ahead for MirageOS in 2021
21 Jan 2021Read Rust - AllRustdoc performance improvements
21 Jan 2021Read Rust - AllRust in Production: 1Password
01 Jan 2021Read Rust - AllAnnouncing Rust 1.49.0
16 Dec 2020Read Rust - AllSequoia PGP v1.0 Released: The Seedling's a Sapling
14 Dec blogTarides sponsors the Oxbridge Women in Computer Science Conference 2020
14 Dec 2020Read Rust - AllLaunching the Lock Poisoning Survey
09 Dec 2020Read Rust - AllAnnouncing Minus, a cross-platform pager
01 Dec blogGrowing the Hardcaml toolset
27 Nov 2020Read Rust - AllAnnouncing Rustup 1.23.0
27 Nov 2020Read Rust - Alllib-ruby-parser: A Ruby Parser Written in Rust
24 Nov blogAnnouncing Our Market Prediction Kaggle Competition
24 Nov 2020Read Rust - AllWhat the Error Handling Project Group is Working On
19 Nov 2020Read Rust - AllAnnouncing Rust 1.48.0
11 Nov 2020Read Rust - AllExploring PGO for the Rust compiler
04 Nov 2020Read Rust - AllIntroducing Scipio - a Thread-per-Core Crate for Rust & Linux
21 Oct 2020Read Rust - AllNon-Generic Inner Functions
12 Oct 2020Read Rust - AllRust after the honeymoon
09 Oct 2020Read Rust - AllRust in curl with Hyper
08 Oct 2020Read Rust - AllAnnouncing Rust 1.47.0
07 Oct 2020Read Rust - AllRust + Raspberry Pi Tide Clock
06 Oct blogFinding memory leaks with Memtrace
30 Sep 2020Read Rust - AllAnnouncing the Portable SIMD Project Group
24 Sep blogBuilding portable user interfaces with Nottui and Lwd
22 Sep 2020Read Rust - AllAsync Iteration Semantics
22 Sep 2020Read Rust - AllPorting EBU R128 audio loudness analysis from C to Rust
21 Sep 2020Read Rust - AllThrow Away Code
21 Sep 2020Read Rust - AllLow-Level Academy
21 Sep 2020Read Rust - AllCall for 2021 Roadmap Blogs Ending Soon
21 Sep 2020Read Rust - AllRust 2021 – Ethical Development
19 Sep 2020Read Rust - AllRust 2021: Make it accessible
19 Sep 2020Read Rust - AllTL;DR Rust
17 Sep blogTarides is now a sponsor of the OCaml Software Foundation
15 Sep blogMemory allocator showdown
14 Sep 2020Read Rust - AllRust in 2021
14 Sep 2020Read Rust - AllRust 2021
14 Sep 2020Read Rust - AllWhat I Learnt from Benchmarking Http4k, Ktor (Kotlin) and Actix v2, v3 (Rust) Microservices
14 Sep 2020Read Rust - AllAnnouncing Actix Web v3.0
14 Sep 2020Read Rust - AllIntroducing auditable: audit Rust binaries for known bugs or vulnerabilities in production
11 Sep 2020Read Rust - AllRust 2021
10 Sep 2020Read Rust - AllLaunching the 2020 State of Rust Survey
09 Sep 2020Read Rust - AllAs a hobbyist rust developer, I want to think less about error handling
09 Sep 2020Read Rust - AllRust 2021
09 Sep 2020Read Rust - AllRust HTTP Testing with httpmock
09 Sep 2020Read Rust - AllHalite III Bot Development Kit in Rust
08 Sep blogIrmin: September 2020 update
08 Sep 2020Read Rust - AllRust in 2021
08 Sep 2020Read Rust - AllRust in 2021
07 Sep 2020Read Rust - AllRust on Haiku: the Case of the Disappearing Deceased Threads
07 Sep 2020Read Rust - AllSlowing Down Read Rust Posting
04 Sep 2020Read Rust - AllPlanning the 2021 Roadmap
02 Sep 2020Read Rust - AllThis Month in Mun - August 2020
02 Sep 2020Read Rust - AllZero To Production #3.5: HTML forms, Databases, Integration tests
02 Sep 2020Read Rust - AllHeadcrab: August 2020 progress report
02 Sep 2020Read Rust - AllRefactoring Rust Transpiled from C
02 Sep 2020Read Rust - AllUsing cargo test for embedded testing with panic-probe
02 Sep 2020Read Rust - AllAs above, so below: Bare metal Rust generics 2/2
01 Sep blogIntroducing irmin-pack
01 Sep 2020Read Rust - AllSupporting Linux kernel development in Rust
31 Aug blogAnnouncing Signals and Threads, a new podcast from Jane Street
31 Aug 2020Read Rust - AllSequoia v0.19.0 released
31 Aug 2020Read Rust - AllServerless Data Ingestion with Rust and AWS SES
31 Aug 2020Read Rust - AllFireworks for your terminal
31 Aug 2020Read Rust - AllSudoku solver in idiomatic Rust
31 Aug 2020Read Rust - AllShowcase game #5: Dwarf Seeks Fortune
31 Aug 2020Read Rust - AllContributing to Intellij-Rust #2: Intention to substitute an associated type
31 Aug 2020Read Rust - AllI Attended RustConf 2020
31 Aug 2020Read Rust - AllPiet text layout API
17 Aug blogWhat the interns have wrought, 2020 edition
03 Aug blogFuzzing OCamlFormat with AFL and Crowbar
26 Jul blogOne and a half years of ReasonML in production
24 Jul blogThe Jane Street Interview Process — 2020 Edition
24 Jun blogTraceroute
22 Jun blogReally low latency multipliers and cryptographic puzzles
01 Jun blogUsing ASCII waveforms to test hardware designs
20 Apr blogThe future of Tezos on MirageOS
17 Apr blogChrome extensions: Finding the missing proof
20 Feb blogWatch all of Jane Street's tech talks
03 Feb blogTroubleshooting systemd with SystemTap
23 Dec blogDeploying authoritative OCaml-DNS servers as MirageOS unikernels
16 Dec blogUsing Python and OCaml in the same Jupyter notebook
16 Dec blogReproducible MirageOS unikernel builds
11 Dec blogTarides wins the FIC 2020 startup award
06 Dec blogDeep-Learning the Hardest Go Problem in the World
04 Dec blogMirageOS talk at the Paris Open Source Summit
27 Nov blogIntroducing the GraphQL API for Irmin 2.0
21 Nov blogIrmin v2
22 Oct blogHow to write a library for BuckleScript and Native
14 Oct blogCommas in big numbers everywhere: An OpenType adventure
25 Sep blogMr. MIME - Parse and generate emails
13 Sep blogDecompress: Experiences with OCaml optimization
04 Sep blogAn introduction to fuzzing OCaml with AFL, Crowbar and Bun
30 Aug blogWhat the interns have wrought, 2019 edition
26 Aug blogDecompress: The New Decompress API
19 Aug blogUsing OCaml to drive a Raspberry Pi robot car
16 Aug blogDo applied programming languages research at Jane Street!
15 Aug blogX509 0.7
12 Jul blogA look at OCaml 4.08
09 Jul blogOf Pythons and Camels
08 Jul blogSummer 2019
05 Jul blogi-Lab 2019
27 Jun blogRelease of OCamlFormat 0.10
13 May blogThoughts from AAAI 2019
13 May blogOn the road to Irmin v2
09 May blogAn introduction to OCaml PPX ecosystem
06 May blog7th MirageOS hack retreat
17 Apr blogLearning ML Depth-First
10 Apr blogDune 1.9.0
29 Mar blogRelease of OCamlFormat 0.9
28 Feb blogAccelerating Self-Play Learning in Go
28 Feb blogMachining the ultimate hackathon prize
08 Feb blogRelease of Base64
02 Feb blogPlaying Atari Games with OCaml and Deep Reinforcement Learning
29 Jan blogL2 Regularization and Batch Norm
15 Jan blogA tutorial for building web applications with Incr_dom
03 Jan blogHow configurator reads C constants
06 Dec blogMirageOS, towards a smaller and safer OS
19 Oct blogocaml-git 2.0
17 Oct blogOCamlFormat 0.8
27 Sep blogOCaml Workshop 2018
26 Sep blogHow to shuffle a big dataset
20 Sep blogDeep learning experiments in OCaml
12 Sep blogGetting started with atdgen and bucklescript
06 Sep blogDune 1.2.0
06 Aug blogWhat the interns have wrought, 2018 edition
17 Jul blogStation F
29 Jun blogPlans for OCaml 4.08
23 May blogMirageOS + Tezos funding
23 May blogOCaml Users in Paris (OUPS)
18 May blogIrmin usability enhancements
17 May blogInvited lecture at ENS
22 Apr blogRepeatable exploratory programming
16 Apr blogHotPOST'18
04 Apr blogOCaml all the way down
27 Mar blogPutting the I back in IDE: Towards a Github Explorer
16 Feb blogLearn OCaml in NYC
15 Feb blogProofs (and Refutations) using Z3
14 Feb blogAn Architecture for Interspatial Communication
20 Dec blogWork on the OCaml compiler at Jane Street!
31 Oct blogDoes batch size matter?
29 Oct blogHow Jane Street Does Code Review (Jane Street Tech Talk)
26 Sep blogJane Street Tech Talk, Verifying Network Data Planes
28 Aug blogReal world machine learning (part 1)
25 Aug blogHow to design a tree diffing algorithm
24 Aug blogIroning out your development style
16 Aug blogHiring an FPGA engineer
14 Aug blogWhat the interns have wrought, 2017 edition
28 Jun blogSkylake bug: a detective story
11 May blogWhen Bash Scripts Bite
01 May blogLooking for a technical writer
25 Apr blogCaveat Configurator: how to replace configs with code, and why you might not want to
20 Apr blogThis is not the performance you were looking for: the tricks systems play on us
20 Mar blogTrivial meta-programming with cinaps
15 Mar blogOne more talk, two more videos
28 Feb blogWhat a Jane Street software engineering interview is like
16 Feb blogJane Street Tech Talks: Verifying Puppet Configs
11 Jan blogHow to Build an Exchange
09 Jan blogA brief trip through Spacetime
08 Nov blogA solution to the ppx versioning problem
27 Oct blogObservations of a functional programmer
13 Sep blogWhat the interns have wrought, 2016
31 Aug blogUnraveling of the tech hiring market
30 Aug blogDo you love dev tools? Come work at Jane Street.
21 Jun blogLet syntax, and why you should use it
23 May blogppx_core: context-free rewriters for better semantics and faster compilation
09 Mar blogSeven Implementations of Incremental
01 Mar blogOCaml 4.03: Everything else
24 Feb blogA better inliner for OCaml, and why it matters
10 Feb blogSelf Adjusting DOM and Diffable Data
06 Feb blogSelf Adjusting DOM
30 Jan blogIncremental computation and the web
25 Jan blogWhy OCaml?
02 Dec blogTesting with expectations
26 Oct blogQuickcheck for Core
07 Oct blogrsync rounds timestamps to the nearest second
19 Aug blogNo (functional) experience required
18 Jul blogIntroducing Incremental
08 Jul blogConverting a code base from camlp4 to ppx
05 May blogCPU Registers and OCaml
01 May blogReverse web proxy in ~50 lines of BASH
10 Apr blogBuilding a lower-latency GC
09 Apr blogFaster OCaml to C calls
30 Mar blogWhy GADTs matter for performance
21 Mar blogA lighter Core
04 Mar blogCentralizing distributed version control, revisited
31 Jan blogMaking making better
02 Jan blog13 Virtues
01 Dec blogInspecting the Environment of a Running Process
17 Nov blogHow to choose a teaching language
24 Oct blogInterviewing At Jane Street
16 Oct blogWhat the interns have wrought: RPC_parallel and Core_profiler
29 Sep blogWhat is gained and lost with 63-bit integers?
23 Aug blogClearly Failing
31 Jul blogThe ML Workshop looks fantastic