🦞🌯 Lobster Roll

Thread

Cross-compile and link a static binary on macOS for Linux with cargo and rust - chr4 (chr4.org)
L 7 pts 0 comments by chr4 Mar 17, 2017 programmingrust thread

Stories related to "Cross-compile and link a static binary on macOS for Linux with cargo and rust - chr4" across the full archive.

Cross-compile and link a static binary on macOS for Linux with cargo and rust - chr4 (chr4.org)
L 7 pts 0 comments by chr4 Mar 17, 2017 programmingrust Systems / Low-Level / OSProgramming (General)Apple / macOS / iOS thread
LnQ: Building High Performance Dynamic Binary Translators with Existing Compiler Backends (people.cs.nctu.edu.tw)
L 2 pts 2 comments by animatronic Jun 23, 2014 compilerscompscipdf Systems / Low-Level / OSProgramming Languages / CS Theory thread
InfraRuby is a compiler and runtime for statically typed Ruby. (infraruby.com)
L 8 pts 4 comments by julienxx Mar 8, 2015 compilersjavaruby Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Compiler Verification Meets Cross-Language Linking via Data Abstraction (2014) (dspace.mit.edu)
L 3 pts 0 comments by nickpsecurity Aug 29, 2018 compilersformalmethodsplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
Abstract: "Many real programs are written in multiple different programming languages, and supporting this pattern creates challenges for formal compiler verification. We describe our Coq verification of a compiler for a high-level language, such that the compiler correctness theorem allows us t...
Static typing, pattern matching, and Inko's self-hosting compiler (inko-lang.org)
L 14 pts 5 comments by yorickpeterse Jun 12, 2020 compilerspltprogramming Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Psyche-C: A compiler frontend for the C programming language designed for static analysis tools (ltcmelo.github.io)
L 9 pts 0 comments by sanxiyn Mar 6, 2021 ccompilers Web DevelopmentSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Cross-compiling and Static-linking with Nix (functor.tokyo)
L 15 pts 4 comments by cadey Oct 31, 2021 devopslinux Systems / Low-Level / OSData / Databases / Infrastructure thread
The state of static analysis in the GCC 12 compiler (developers.redhat.com)
L 11 pts 0 comments by fcambus Apr 14, 2022 ccompilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
CPython now support for the LLVM-BOLT post-link binary optimizer (github.com)
L 12 pts 1 comments by corona10 Aug 18, 2022 compilerspython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
From CPython 3.12, the official build configuration now supports using LLVM-BOLT as the post-link binary optimizer. It shows that 1-5% performance improvement from pyperformance benchmark.
How we use binary search to find compiler bugs (bernsteinbear.com)
L 7 pts 0 comments by tekknolagi Oct 19, 2022 compilerspython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Improvements to static analysis in the GCC 13 compiler (developers.redhat.com)
L 14 pts 0 comments by fcambus Jun 1, 2023 ccompilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Binary sizes and compiler flags (sandordargo.com)
L 5 pts 1 comments by raymii Jul 19, 2023 c++compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language (microsoft.com)
L 6 pts 1 comments by andyc Aug 27, 2023 compilersprogramming Web DevelopmentSystems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Static Roots: Objects with Compile-Time Constant Addresses · V8 (v8.dev)
L 6 pts 1 comments by glacambre Feb 6, 2024 c++compilersjavascript Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Improvements to static analysis in the GCC 14 compiler (developers.redhat.com)
L 24 pts 0 comments by fcambus Apr 3, 2024 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Binary Ninja - Restructuring the Binary Ninja Decompiler (binary.ninja)
L 8 pts 1 comments by crazyloglad Jun 19, 2024 compilersreversing Systems / Low-Level / OSProgramming Languages / CS Theory thread
Binary size: should we use static or dynamic linking? (sandordargo.com)
L 6 pts 4 comments by raymii Sep 25, 2024 c++ Systems / Low-Level / OS thread
Binary size: should we use static or dynamic linking? (sandordargo.com)
HN 2 pts 1 comments by jandeboevrie Sep 25, 2024 thread
Cross compile QuickJS – Generate static binaries from JavaScript scripts (github.com)
HN 3 pts 0 comments by andrewstuart Oct 11, 2024 Web Development thread
CRUNCH - a compiler for statically typed Scheme with a minimal runtime (more-magic.net)
L 57 pts 0 comments by Bunny351 Dec 17, 2024 compilerslispplt Systems / Low-Level / OSProgramming Languages / CS Theory thread
A caveat with statically linked language runtimes (thinkingeek.com)
L 3 pts 0 comments by asb Feb 3, 2025 compilerslinux Systems / Low-Level / OSProgramming Languages / CS Theory thread
SJS: a static AOT compiler for a subset of JavaScript (2016) (github.com)
L 7 pts 1 comments by gnyeki Mar 28, 2025 compilersjavascript Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Show HN: Link Global, cross-shell aliases with history, auto-compile for C files
HN 1 pts 0 comments by Forgret Sep 9, 2025 thread
GitHub: <a href="https:&#x2F;&#x2F;github.com&#x2F;Ferki-git-creator&#x2F;link-cli-tool" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;Ferki-git-creator&#x2F;link-cli-tool</a>
Long branches in compilers, assemblers, and linkers (maskray.me)
L 19 pts 0 comments by epilys Jan 26, 2026 compilers Systems / Low-Level / OSProgramming Languages / CS Theory thread
Tomo: A statically typed, imperative language that cross-compiles to C [video] (youtube.com)
HN 43 pts 23 comments by evakhoury Jan 29, 2026 thread
Online Compiler & IDE for C, Java, C# and C++ (compilr.com)
L 2 pts 0 comments by inactive-user Jul 11, 2012 browsersccompilers Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
Right now, this site seems pretty rough and not sure how much you'd want in the browser. But hey, it's shiny, right? (Also - no git/hg support!)
How statically linked programs run on Linux (eli.thegreenplace.net)
L 4 pts 0 comments by inactive-user Aug 13, 2012 assemblyclinux Systems / Low-Level / OSProgramming (General) thread
Compiler Design: Theory, Tools, and Examples (elvis.rowan.edu)
L 3 pts 0 comments by pushcx Aug 30, 2012 compilerscompscipdf Systems / Low-Level / OSProgramming Languages / CS TheoryDesign / UX / Visualization thread
CL-JavaScript: A JavaScript-to-Common Lisp compiler + runtime (marijnhaverbeke.nl)
L 2 pts 0 comments by inactive-user Sep 12, 2012 compilersjavascriptlisp Web DevelopmentSystems / Low-Level / OSProgramming Languages / CS Theory thread
The Architecture of Open Source Applications (Volume 2): The Glasgow Haskell Compiler (aosabook.org)
L 7 pts 1 comments by inactive-user Sep 18, 2012 compilerscompscihaskellscaling Systems / Low-Level / OSProgramming (General)Programming Languages / CS TheoryProductivity / Career / Business thread