{"data":{"type":"company_profile_ai","id":166253,"entity_id":"wefunder:company:166253","attributes":{"canonical_url":"https://wefunder.com/higher.order.co","retrieval_urls":{"canonical":"https://wefunder.com/higher.order.co","json":"https://wefunder.com/higher.order.co.json","markdown":"https://wefunder.com/higher.order.co.md","ai_json":"https://wefunder.com/higher.order.co.ai.json","ai_text":"https://wefunder.com/higher.order.co.ai.txt","changelog_json":"https://wefunder.com/higher.order.co.changelog.json","schema":"https://wefunder.com/.well-known/ai-profile-schema.json"},"updated_at":"2026-06-11T23:53:39Z","generated_at":"2026-06-12T03:35:44Z","profile_visibility":{"owner_published":true,"public_search_results":true,"site_search_listed":true,"privacy_mode":"promote","invite_only":false},"company":{"id":166253,"entity_id":"wefunder:company:166253","slug":"higher.order.co","name":"Higher Order Company","tagline":"Bend2: The AI Programming Language","location":"Dover, DE","website":"https://higherorderco.com/","total_amount_raised":0,"total_investors":0,"is_funded":false,"is_active":false},"key_claims":[{"claim_id":"claim-total-raised","text":"Total raised on Wefunder: 0","citation":"https://wefunder.com/higher.order.co#claim-total-raised","provenance":{"source":"FrontCompanySummary#amount_raised","last_verified_at":"2026-06-11T23:53:39Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-12T23:53:39Z"},{"claim_id":"claim-total-investors","text":"Total investors: 0","citation":"https://wefunder.com/higher.order.co#claim-total-investors","provenance":{"source":"FrontCompanySummary#number_of_investors","last_verified_at":"2026-06-11T23:53:39Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-12T23:53:39Z"}],"verified_facts":[{"claim_id":"claim-total-raised","text":"Total raised on Wefunder: 0","citation":"https://wefunder.com/higher.order.co#claim-total-raised","provenance":{"source":"FrontCompanySummary#amount_raised","last_verified_at":"2026-06-11T23:53:39Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-12T23:53:39Z"},{"claim_id":"claim-total-investors","text":"Total investors: 0","citation":"https://wefunder.com/higher.order.co#claim-total-investors","provenance":{"source":"FrontCompanySummary#number_of_investors","last_verified_at":"2026-06-11T23:53:39Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-12T23:53:39Z"}],"company_claims":{"tagline":"Bend2: The AI Programming Language","story":"Just like Cursor reimagined the code editor for the AI era, Bend2 reimagines the language itself. It integrates AI-driven\u0026nbsp;generation,\u0026nbsp;verification, and\u0026nbsp;synthesis, solving a critical limitation of current LLM workflows: the AI Doom Loop — where projects stall as AI-generated codebases grow and accumulate subtle bugs. With Bend2, every generated function is required to pass rigorous\u0026nbsp;tests\u0026nbsp;or even full\u0026nbsp;proofs, enforced at compile time. This keeps correctness local and avoids error accumulation, letting users build much larger codebases using AI.The key enabler behind this is our proprietary technology:\u0026nbsp;NeoGen, a symbolic synthesizer that finds recursive functions from specs (tests or theorems) up to 10,000x faster than existing tools like Myth. When the user types\u0026nbsp;gen, NeoGen tries to synthesize a function first. If it fails, an LLM is called — but always under the discipline of formal correctness. This makes AI code generation in Bend2 not just faster, but safer and more scalable.Bend2’s syntax is Pythonic, with a Haskell-inspired type system, and includes first-class support for dependent types and theorem proving. It compiles to HVM, our ultra-fast runtime that runs symbolic code on the GPU. While the language will be 99% open-source and work offline for free, generative features (like\u0026nbsp;gen) will be metered through a paid API — providing our business model.We’re raising $4M at a $60M valuation to bring Bend2 to market. Funds will be used to complete the language, integrate LLMs, build dev tools (LSP, editor, docs), and grow adoption. We believe Bend2 can unlock a new class of applications — complex, large-scale software written entirely by AIs, with correctness guarantees built-in. Join us in building the foundation for AI-native programming.Here is a full informal spec (yes, this is a ChatGPT link - ask it questions!)About UsWe're the team behind:- HVM: the world's fastest λ-Calculator (a \"β-optimal\" function compiler).- Bend: the first GPU-native language featuring unrestricted recursion.- Kind: a modern functional programming language and proof assistant.---Note: due to NeoGen's success in internal benchmarks, we've updated the immediate goals to turn it into a product, as a paid feature inside Bend2. Our aim is to continue program synthesis research (towards a symbolic transformer) in 2026. Here's our previous pitch.","quick_facts":["HVM - A parallel Interaction Net runtime.","Bend - A high-level language for GPUs.","Kind - An minimal, efficient proof checker."]},"computed_metrics":{"total_amount_raised":0,"total_investors":0,"team_size":1,"featured_investor_count":1,"faq_count":0,"recent_post_count":0},"quick_facts":[{"claim_id":"claim-fact-1","value":"HVM - A parallel Interaction Net runtime.","citation":"https://wefunder.com/higher.order.co#claim-fact-1","observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-18T23:53:39Z"},{"claim_id":"claim-fact-2","value":"Bend - A high-level language for GPUs.","citation":"https://wefunder.com/higher.order.co#claim-fact-2","observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-18T23:53:39Z"},{"claim_id":"claim-fact-3","value":"Kind - An minimal, efficient proof checker.","citation":"https://wefunder.com/higher.order.co#claim-fact-3","observed_at":"2026-06-11T23:53:39Z","expires_at":"2026-06-18T23:53:39Z"}],"latest_fundraise":{"id":126025,"entity_id":"wefunder:fundraise:126025","state":"open","offering_type":"4(a)(6)","structure":"ttw","testing_the_waters":true,"can_invest_now":true,"funding_started_at":null,"funding_closed_at":null},"investor_memos":[],"team":[{"id":5710750,"entity_id":"wefunder:company_role:5710750","name":"Francielle Dellamora","title":"Developer","role":"employee","profile_url":"https://wefunder.com/francielle.dellamora"}],"featured_investors":[{"id":11806,"entity_id":"wefunder:company_investor_profile:11806","name":"James Dalgety","bio":"Kiwi/NZ tech investor, 8+ years blockchain/AI. Mining ops + commercial property enable long-term unicorn funding. Back proven founders.","profile_url":"https://wefunder.com/james.dalgety","endorsement_quote":"Having hit the AI doom loop countless times, days of coding followed by even longer debugging sessions, I can see the massive value of Bend2. The current state of AI-assisted development is unsustainable: you get rapid initial progress, then everything breaks down as the codebase grows and bugs accumulate. Bend2’s approach with built-in formal verification and compile-time proofs directly addresses this fundamental problem. As AI becomes the standard copilot for development across every industry, Bend2 could become foundational infrastructure for tens or hundreds of millions of developers. That’s why I’m backing them in a big way."}],"relationships":[{"source_entity_id":"wefunder:company:166253","relation":"has_team_member","target_entity_id":"wefunder:user:4785017","target_url":"https://wefunder.com/francielle.dellamora"},{"source_entity_id":"wefunder:company:166253","relation":"has_featured_investor","target_entity_id":"wefunder:user:4781028","target_url":"https://wefunder.com/james.dalgety"},{"source_entity_id":"wefunder:company:166253","relation":"has_latest_fundraise","target_entity_id":"wefunder:fundraise:126025"}],"faq":[],"recent_posts":[],"provenance":{"source":"wefunder_public_company_profile","as_of":"2026-06-12T03:35:44Z","claims":{"total_amount_raised":{"source":"FrontCompanySummary#amount_raised","last_verified_at":"2026-06-11T23:53:39Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"total_investors":{"source":"FrontCompanySummary#number_of_investors","last_verified_at":"2026-06-11T23:53:39Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"active_raise_states":{"source":"Fundraise.visible(nil, nil)","last_verified_at":"2026-06-04T19:05:16Z","as_of":"2026-06-12T03:35:44Z","confidence":"high"},"latest_fundraise_state":{"source":"Fundraise.visible(nil, nil).order(funding_started_at)","last_verified_at":"2026-06-04T19:05:16Z","as_of":"2026-06-12T03:35:44Z","confidence":"medium"}}}}}}